Diferente pentru 2-sat intre reviziile #19 si #20
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: 50px}. |A|B|A->B|
|1|2|3|
table{width: 30px}. | A | B | A -> B |
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
