Ответ:
2. Доказательство тождеств с помощью таблиц истинности
a) \( \overline{A \lor B} = \overline{A} \land \overline{B} \)
| A | B | \( A \lor B \) | \( \overline{A \lor B} \) | \( \overline{A} \) | \( \overline{B} \) | \( \overline{A} \land \overline{B} \) |
| 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 |
Так как столбцы \( \overline{A \lor B} \) и \( \overline{A} \land \overline{B} \) совпадают, тождество доказано.
б) \( \overline{A \land B} = \overline{A} \lor \overline{B} \)
| A | B | \( A \land B \) | \( \overline{A \land B} \) | \( \overline{A} \) | \( \overline{B} \) | \( \overline{A} \lor \overline{B} \) |
| 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 |
Так как столбцы \( \overline{A \land B} \) и \( \overline{A} \lor \overline{B} \) совпадают, тождество доказано.
