Способы представления формул в алгебре логики:
1) конъюнктивная нормальная форма (КНФ) - конъюнкция конечного числа дизъюнктов
2) ДНФ - дизъюнкция конечного числа конъюнктов
дизъюнкт - дизъюнкция нескольких переменных и/или их отрицание
конъюнкт - конъюнкия нескольких переменных и их отрицание
СКНФ (соверш.конъюнкт.норм.форма) - отношение переменных х1, х2, ...хn - это КНФ, в которой: каждый дизъюнкт содержит n переменных причем на i месте в нем содержится xi или отрицание xi; все дизъюнкты попарно различны
СДНФ (совершенная дизъюнкт.норм.форма) - отношение переменных х1, х2, ..xn - такая ДНФ, в которой: каждый конъюнкт содержит n переменных из них на i месте xi и отрицание xi; все конъюнкты попарно различные
пример: СДНФ формула: (дописать!!)
СКНФ формула: