Условие:
Докажите в обе стороны: ((A \lor B) \land C = (A \land C) \lor (B \land C)). Подробно распишите все действия для преобразования одного выражения в другое, используйте математические символы.
Решение:
Рассмотрим равенство:
(А ∨ В) ∧ С = (А ∧ С) ∨ (В ∧ С)
Докажем его в обе стороны.
Доказательство “вправо” (из (А ∨ В) ∧ С следует (А ∧ С) ∨ (В ∧ С)):
- Пусть верно выражение (А ∨ В) ∧ С. Тогда по определению конъюнкции имеем: верны одновременно (А ∨ В) и С.
- Из (А ∨ В) следует, что выполняется хотя бы одно из утверждений: А истинно или В истинно.
а) Если А истинно, то, поскольку С истинно, по правилу конъюнкции истинн...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи