c zapisujemo formulu
c (q | t) & (~q | ~t) & (p | r) & (~p | ~r)

p cnf 4 8
2 4 0
-2 -4 0
1 3 0
-1 -3 0