ompsinfo NEGATE truth table
selections
ALL
USER
COMMAND
USER & COMMAND
options solution selection options + '-N' solution selection
-A
 
(none)
-N
-u
-u -N
-C
-C -N
-Nu
-Nu -N
-NC
-NC -N
-u -C
-u -C -N    
-Nu -C
-Nu -C -N    
-u -NC
-u -NC -N    
-Nu -NC    
-Nu -NC -N    


baro AT democritos DOT it
Last Modified: Tue, 11 Nov 2003 - 11:14:38 CET