1. Главная
  2. Библиотека
  3. Логика
  4. Приведите равносильными преобразованиями формулу к виду...
Разбор задачи

Приведите равносильными преобразованиями формулу к виду СКНФ

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Символическая логика
Приведите равносильными преобразованиями формулу к виду СКНФ

Условие:

Приведите равносильными преобразованиями формулу к виду СКНФ

(AˉC→(C↔Bˉ))→(Aˉ∨Bˉ→ACˉ). (\bar{A} C \rightarrow(C \leftrightarrow \bar{B})) \rightarrow(\bar{A} \vee \bar{B} \rightarrow A \bar{C}) .

Решение:

  1. Исходная формула:

    (AˉC→(C↔Bˉ))→(Aˉ∨Bˉ→ACˉ). (\bar{A} C \rightarrow (C \leftrightarrow \bar{B})) \rightarrow (\bar{A} \vee \bar{B} \rightarrow A \bar{C}).

  2. Преобразуем импликации. Импликация (X \rightarrow Y) равносильна (\bar{X} \vee Y). Применим это к обеим импликациям:

    (AˉC)ˉ∨(C↔Bˉ)→(Aˉ∨Bˉ)ˉ∨(ACˉ). \bar{(\bar{A} C)} \vee (C \leftrightarrow \bar{B}) \rightarrow \bar{(\bar{A} \vee \bar{B})} \vee (A \bar{C}).
    Это можно записать как:
    (A∨Cˉ)∨(C↔Bˉ)→(A∧B)∨(ACˉ). (A \vee \bar{C}) \vee (C \leftrightarrow \bar{B}) \rightarrow (A \wedge B) \vee (A \bar{C}).

  3. Теперь снова при...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое из следующих преобразований корректно заменяет импликацию $X \rightarrow Y$ в логических выражениях?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Похожие задачи

Похожие задачи

Не нашел нужную задачу?Воспользуйся поиском

AI помощники

Больше о Кэмпе

Выбери предмет

E
S
А
Б
В
Г
Д
Е
Ж
З
И
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Э
Я