Привет! Смотри, тут всё просто. Нам нужно доказать законы де Моргана с помощью таблиц истинности. Погнали!
Составим таблицу истинности для левой и правой частей уравнения:
| A | B | A & B | \[\overline{A \& B}\] | \[\overline{A}\] | \[\overline{B}\] | \[\overline{A} \lor \overline{B}\] |
|---|---|---|---|---|---|---|
| Истина | Истина | Истина | Ложь | Ложь | Ложь | Ложь |
| Истина | Ложь | Ложь | Истина | Ложь | Истина | Истина |
| Ложь | Истина | Ложь | Истина | Истина | Ложь | Истина |
| Ложь | Ложь | Ложь | Истина | Истина | Истина | Истина |
Из таблицы видно, что значения \[\overline{A \& B}\] и \[\overline{A} \lor \overline{B}\] совпадают во всех случаях, следовательно, закон де Моргана для логического умножения доказан.
Составим таблицу истинности для левой и правой частей уравнения:
| A | B | A \lor B | \[\overline{A \lor B}\] | \[\overline{A}\] | \[\overline{B}\] | \[\overline{A} \& \overline{B}\] |
|---|---|---|---|---|---|---|
| Истина | Истина | Истина | Ложь | Ложь | Ложь | Ложь |
| Истина | Ложь | Истина | Ложь | Ложь | Истина | Ложь |
| Ложь | Истина | Истина | Ложь | Истина | Ложь | Ложь |
| Ложь | Ложь | Ложь | Истина | Истина | Истина | Истина |
Из таблицы видно, что значения \[\overline{A \lor B}\] и \[\overline{A} \& \overline{B}\] совпадают во всех случаях, следовательно, закон де Моргана для логического сложения доказан.
Проверка за 10 секунд: Убедись, что в каждой строке таблицы истинности значения левой и правой частей уравнений совпадают.
Уровень Эксперт: Законы де Моргана помогают упрощать логические выражения в программировании и цифровой электронике!