Докозать используя таблицу истинности:
A v (B^C)=(AvB)^(AvC)

Для доказательства равенства $A \lor (B \land C) = (A \lor B) \land (A \lor C)$ с помощью таблицы истинности, составим таблицу, в которой перечислим все возможные значения логических переменных $A$, $B$ и $C$, и найдем значения выражений по обе стороны от знака равенства.

Шаги построения таблицы истинности:

1. Перечислим все возможные комбинации значений $A$, $B$ и $C$. Поскольку у нас три переменные, возможных комбинаций будет $2^3 = 8$.
2. Вычислим выражение $A \lor (B \land C)$.
3. Вычислим выражения $A \lor B$ и $A \lor C$.
4. Вычислим конъюнкцию $(A \lor B) \land (A \lor C)$.
5. Сравним значения, полученные в шагах 2 и 4. Если они совпадают для всех строк таблицы, то выражение доказано.

Таблица истинности

Пояснение шагов:

• Колонка "B ∧ C": здесь вычисляем конъюнкцию (логическое И) $B$ и $C$. Она равна 1 только тогда, когда и $B$, и $C$ равны 1.
• Колонка "A ∨ (B ∧ C)": вычисляем дизъюнкцию (логическое ИЛИ) $A$ и $B \land C$. Результат равен 1, если хотя бы одно из значений $A$ или $B \land C$ равно 1.
• Колонки "A ∨ B" и "A ∨ C": вычисляем дизъюнкцию $A$ и $B$, а также $A$ и $C$. Эти выражения будут равны 1, если хотя бы одно из соответствующих значений равно 1.
• Колонка "(A ∨ B) ∧ (A ∨ C)": здесь вычисляем конъюнкцию результатов $A \lor B$ и $A \lor C$. Результат равен 1, только если оба выражения равны 1.

Сравнение результатов:

Сравнив значения в колонках $A \lor (B \land C)$ и $(A \lor B) \land (A \lor C)$, мы видим, что они совпадают для всех возможных комбинаций $A$, $B$ и $C$. Это означает, что выражение $A \lor (B \land C) = (A \lor B) \land (A \lor C)$ истинно.

Вывод:

Таким образом, мы доказали, что $A \lor (B \land C) = (A \lor B) \land (A \lor C)$, используя таблицу истинности.