Как конвертировать его в CNF(конъюнктивная нормальная форма)

Question

Я столкнулся с выражением ниже

A ∨ (B ∧ C) ∨ (D ∧ E ∧ ￢ (A ∨ B))

Как конвертировать в CNF(конъюнктивная нормальная форма)?

conjunctive-normal-form

Источник

user1670504 10 сен '13 в 12:08

1 ответ

Решение

Другие вопросы по тегам conjunctive-normal-form

user1986513 10 сен '13 в 14:10 2013-09-10 14:10 · Accepted Answer · 2013-09-10 14:10

Предполагая, что вам нужна эквивалентная формула, вы должны использовать преобразования, которые сохраняют логическую эквивалентность.

Вот потенциальный первый шаг;

A ∨ (B ∧ C) ∨ (D ∧ E ∧ ￢(A ∨ B))
((A ∨ B) ∧ (A ∨ C)) ∨ (D ∧ E ∧ ￢A ∧ ￢B)

Принятие законов распределения для A ∨ (B ∧ C) и применение DeMorgan к ￢(A ∨ B)