Diferente pentru problema/2sat intre reviziile #9 si #10
Nu exista diferente intre titluri.
Diferente intre continut:
$(x{~1~} SAU x{~3~}) SI (x{~2~} SAU (NOT x{~1~})) SI ((NOT x{~4~}) SAU x{~3~})$ h2. Cerinta
Dandu-se o expresie $2SAT$ sa se determine o atribuire satisfiabila a acesteia.