СДНФДНФКНФСКНФМКНФМДНФ - одна из форм представления булевой функции в виде логического выражения, удовлетворяющий следующим трём условиям:в ней нет одинаковых дизъюнктовв каждом дизъюнкте нет повторяющихся переменных;каждый дизъюнкт является полным