Условие:
Дано: $
$
Требуется:
- Проверить равносильность по таблице истинности.
- Доказать равносильность эквивалентными преобразованиями.
Решение:
- Проверка равносильности по таблице истинности:
Сначала определим функции f и g более подробно.
Функция f:\nf = a · (b ∨ c) · (a ∨ b ∨ c)
Функция g:\ng = a → (b ∼ c), где b ∼ c означает ¬b ∨ c.
Теперь вычислим таблицу истинности для обеих функций.
Для этого рассмотрим все возможные комбинации значений переменных a, b и c. Поскольку переменные могут принимать значения 0 (ложь) и 1 (истина), у нас будет 2^3 = 8 комбинаций.
| a | b | c | b ∨ c | a ∨ b ∨ c | f = a · (b ∨ c) · (a ∨ b ∨ c) | ¬b | g = a → (¬b ∨ c) | |---|---|---|-------|------------|----------------------------------|----...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи