Различия отображения логических функций в СДНФ. СКНФ и СПНФ. Переход из СДНФ в СПНФ

Третья формула представления СПНФ (совершенная номинальная нормальная форма). Ее можно получить из СДНФ в результате следующих замен: здесь и ; .

Констинтуенты не пересекаются

=

В СДНФ за основу берут единицу. Переменные в скобках объединяются (по принципу если x1=1, то х1, если х1=0, то ) законом коньюнкции, а между скобками ставится знак дизьюнкции.

В СКНФ за основу берут единицу. Переменные в скобках объединяются (по принципу если x1=0, то х1, если х1=1, то ) законом дизьюнкции, а между скобками ставится знак коньюнкции.

В СПНФ - и на + получаются из СДНФ.