Mail.ruПочтаМой МирОдноклассникиВКонтактеИгрыЗнакомстваНовостиКалендарьОблакоЗаметкиВсе проекты

Построить СКНФ аналитически (? ∧ ? ∨ ?) ⟶ не y дискретная математика

Vlada06 Знаток (289), открыт 1 неделю назад
сначала привести к кнф а потом скнф
4 ответа
—_— Мастер (1487) 1 неделю назад
Для построения СКНФ сначала приведем выражение к КНФ:

(? ∧ ? ∨ ?) ⟶ ¬y

Применим законы де Моргана:

¬(? ∧ ? ∨ ?) ∨ ¬y

Применим закон дистрибутивности:

(¬? ∨ ¬?) ∨ ¬? ∨ ¬y

Теперь приведем данное выражение к СКНФ. Для этого нужно применить законы де Моргана и дистрибутивности:

(¬? ∨ ¬? ∨ ¬y) ∧ (¬? ∨ ¬? ∨ ¬y)

Таким образом, СКНФ для данного выражения будет:

(¬? ∨ ¬? ∨ ¬y) ∧ (¬? ∨ ¬? ∨ ¬y)
Похожие вопросы