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
0  0      A   B     1   2   0
1  1     !A  !B    -1  -2   0
Name:
Mail: (not shown)

Please type this: