Diferente pentru 2-sat intre reviziile #20 si #21
Nu exista diferente intre titluri.
Diferente intre continut:
O a treia soluţie se bazează pe relaţia de implicaţie. Relaţia <tex> \rightarrow </tex> are următoarea tabelă de adevăr:
table{width: 30px}. | A | B | A->B |
table. | A | B | A->B |
| 0 | 0 | 1 | | 0 | 1 | 1 | | 1 | 0 | 0 |
