SAT


Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

illegal      invert
states       rule        CNF

A  B  C
0  0  1      A  B !C     1  2 -3  0
0  1  0      A !B  C     1 -2  3  0
1  0  0     !A  B  C    -1  2  3  0
1  1  1     !A !B !C    -1 -2 -3  0
Name:
Mail: (not shown)

Please type this: