Чтобы доказать тождество дистрибутивного закона с помощью таблицы истинности, начнем с самого закона. Дистрибутивный закон в логике утверждает:
\[ A \land (B \lor C) \equiv (A \land B) \lor (A \land C) \]
Это означает, что "A и (B или C)" эквивалентно "(A и B) или (A и C)".
Теперь создадим таблицу истинности для обоих выражений.
Определим переменные:
- A
- B
- C
Создадим таблицу истинности.
| A | B | C | B ∨ C | A ∧ (B ∨ C) | A ∧ B | A ∧ C | (A ∧ B) ∨ (A ∧ C) |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
- Разберем столбцы:
- Столбец "A ∧ (B ∨ C)" показывает результат первой части дистрибутивного закона.
- Столбец "(A ∧ B) ∨ (A ∧ C)" показывает результат второй части.
Теперь сравним значения в последнем столбце с соответствующими значениями в столбце "A ∧ (B ∨ C)".
- Вывод: Из таблицы видно, что в каждой строке значения в колонках "A ∧ (B ∨ C)" и "(A ∧ B) ∨ (A ∧ C)" совпадают. Это подтверждает, что выражение является тождеством, и дистрибутивный закон выполняется для всех возможных комбинаций A, B и C.
Таким образом, мы успешно доказали тождество дистрибутивного закона с помощью таблицы истинности!