Совершенная дизъюнктивная нормальная форма (СДНФ) помогает минимизировать логические схемы путём выполнения преобразований, аналогичных преобразованиям обычной алгебры. 3 Это возможно, поскольку для операций И и ИЛИ справедливы законы ассоциативности (сочетательный) и дистрибутивности (распределительный). 3 Другими словами, аргументы можно группировать, а общие аргументы — выносить за скобки. 3
Цель таких преобразований — перейти от СДНФ к ДНФ с минимумом слагаемых, при этом количество множителей в каждом слагаемом должно быть также минимальным, то есть максимально уменьшить количество переменных и операций в СДНФ. 3
Также СДНФ удобна в качестве базового выражения для минимизации функции, в ней особенно просто находятся слагаемые, пригодные для «склейки». 2