Diferente pentru problema/2sat intre reviziile #11 si #10
Nu exista diferente intre titluri.
Diferente intre continut:
h2. Date de intrare
Fişierul de intrare $2sat.in$ va contine pe prima linie 2 numere naturale, $N$- numarul de termeni care apar in expresiesi$M$- numarul de propozitii disjunctive din care este foramta expresia.
Fişierul de intrare $2sat.in$ va contine pe prima linie 2 numere naturale, $N$ si $M$
h2. Date de ieşire
