Pagini recente » Cod sursa (job #2788823) | Cod sursa (job #2056215) | Cod sursa (job #3153494) | Cod sursa (job #2770222) | Diferente pentru problema/2sat intre reviziile 31 si 30
Nu exista diferente intre titluri.
Diferente intre continut:
h2. Date de ieşire
În fişierul de ieşire $2sat.out$ se vor afisa $N$ numere naturale, $0$ sau $1$, reprezentand o atribuire satisfiabila pentru expresia data in fisierul de intrare, sau valoarea -1 in caz ca expresia data nu admite solutie.
În fişierul de ieşire $2sat.out$ se vor afisa $N$ numere naturale, $0$ sau $1$, reprezentand o atribuire satisfiabila pentru expresia data in fisierul de intrare.
h2. Restricţii
Nu exista diferente intre securitate.
Topicul de forum nu a fost schimbat.
