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