Условие:
Упростить формулу и построить схему:
Решение:
Рассмотрим формулу:
¬(C → ¬A) ∨ (A¬C → BC),
где подразумевается, что A¬C означает A ∧ ¬C, а BC – B ∧ C.
Шаг 1. Преобразуем первую часть ¬(C → ¬A).
Импликация C → ¬A равносильна выражению ¬C ∨ ¬A.
Отрицая это, получаем:
¬(¬C ∨ ¬A) = C ∧ A
Таким образом, первая часть упрощается до C ∧ A.
Шаг 2. Преобразуем вторую часть (A ∧ ¬C) → (B ∧ C).
Импликация p → q равносильна ¬p ∨ q. Здесь p = A ∧ ¬C, q = B ∧ C.
Получаем:
¬(A ∧ ¬C) ∨ (B...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи