—_—
Мастер
(1487)
1 неделю назад
Для построения СКНФ сначала приведем выражение к КНФ:
(? ∧ ? ∨ ?) ⟶ ¬y
Применим законы де Моргана:
¬(? ∧ ? ∨ ?) ∨ ¬y
Применим закон дистрибутивности:
(¬? ∨ ¬?) ∨ ¬? ∨ ¬y
Теперь приведем данное выражение к СКНФ. Для этого нужно применить законы де Моргана и дистрибутивности:
(¬? ∨ ¬? ∨ ¬y) ∧ (¬? ∨ ¬? ∨ ¬y)
Таким образом, СКНФ для данного выражения будет:
(¬? ∨ ¬? ∨ ¬y) ∧ (¬? ∨ ¬? ∨ ¬y)