2015-09-06
496
Приведем к ДНФ формулу: 
Выразим логические операции → и ↓ через: 
В полученной формуле перенесем отрицание к переменным и сократим двойные отрицания:
Используя закон дистрибутивности, приводим формулу к ДНФ:
k -дизъюнктивная нормальная форма
k -дизъюнктивная нормальной формой называют дизъюнктивную нормальную форму, в которой каждая конъюнкция содержит ровно k литералов.
Например, следующая формула записана в 2-ДНФ:
