Ответ:

2. Доказательство тождеств с помощью таблиц истинности

a) \( \overline{A \lor B} = \overline{A} \land \overline{B} \)

AB\( A \lor B \)\( \overline{A \lor B} \)\( \overline{A} \)\( \overline{B} \)\( \overline{A} \land \overline{B} \)
0001111
0110100
1010010
1110000

Так как столбцы \( \overline{A \lor B} \) и \( \overline{A} \land \overline{B} \) совпадают, тождество доказано.

б) \( \overline{A \land B} = \overline{A} \lor \overline{B} \)

AB\( A \land B \)\( \overline{A \land B} \)\( \overline{A} \)\( \overline{B} \)\( \overline{A} \lor \overline{B} \)
0001111
0101101
1001011
1110000

Так как столбцы \( \overline{A \land B} \) и \( \overline{A} \lor \overline{B} \) совпадают, тождество доказано.