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