Pagini recente » Diferente pentru algoritmiada-2010/runda-finala/5-8 intre reviziile 6 si 5 | Diferente pentru problema/paralelogram2 intre reviziile 9 si 8 | Atasamentele paginii Profil notComan | Istoria paginii utilizator/mathrex | Diferente pentru problema/2sat intre reviziile 9 si 10
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.
Nu exista diferente intre securitate.
Topicul de forum nu a fost schimbat.
