Алгебра
Английский
Биология
География
Геометрия
История
Русский
Обществознание
Физика
Химия
Информатика
Литература
МатематикаВопрос:
б) для логического сложения: AVB - \(\overline{A & B}\)
Ответ:
б) Для логического сложения: A\(\vee\)B = \(\overline{A & B}\)
Для доказательства составим таблицу истинности:
| A | B | A\(\vee\)B | -(A\(\vee\)B) | -A | -B | -\(\overline{A&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 |
Из таблицы видно, что значения в столбцах "-(A\(\vee\)B)" и "-\(\overline{A&B}\)" совпадают, следовательно, логическое равенство A\(\vee\)B = \(\overline{A & B}\) доказано.
Ответ: Доказательство логического равенства проведено с помощью таблицы истинности.
Похожие
- 58. Проведите доказательство логических законов общей инверсии с помощью таблиц истинности: а) для логического умножения: А&B = \(\overline{A\vee B}\)
- 59. Даны три числа: A = 110002, B = 1810, C= 2710. Переведите А, ВиС в двоичную систему счисления и выполните пораз- рядно логические операции (AvB)&С. Ответ дайте в десятич- ной системе счисления.
