a) Для логического умножения: A&B = \(\overline{A\vee B}\)
Для доказательства составим таблицу истинности:
| A | B | A&B | -(A&B) | -A | -B | -\(A\vee 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 |
Из таблицы видно, что значения в столбцах "-(A&B)" и "-\(\overline{A\vee B}\)" совпадают, следовательно, логическое равенство A&B = \(\overline{A\vee B}\) доказано.
Ответ: Доказательство логического равенства проведено с помощью таблицы истинности.