Для записи одной и той же функции алгебры логики можно использовать много различных форм. Формы, которые представляют суммы элементарных произведений, называют дизъюнктивными нормальными формами (ДНФ).
Элементарное произведение – это такое произведение, в котором сомножителями являются только отдельные переменные или их отрицания.
Очевидно, одна и та же функция может быть представлена множеством различных ДНФ. Однако существуют такие виды ДНФ, в которых функция может быть записана единственным образом. Эти формы называют совершенными дизъюнктивными нормальными формами (СДНФ). СДНФ определяется как сумма элементарных произведений, в которых присутствуют все переменные либо с отрицанием, либо без него. 

Правило записи СДНФ функции по ее таблице истинности:

      Для всех комбинаций входных переменных, обращающих функцию в единицу, записать элементар¬ные произведения, инвертируя переменные, равные в данной комбинации нулю, а все полученные элементарные произведения соединить знаками логического суммирования.

Рассмотрим пример.  Пусть функция задана таблицей истинности (таблица 1.4). Требуется записать СДНФ функции по ее таблице истинности.

        Таблица 1.4- Таблица истинности
х2 х1 х0 F(х2, х1, х0)
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 0

Таблица истинности такой функции содержит три строки, в которых функция равна единице. Каждой из этих строк соответствует определенная комбинация входных переменных, а именно:  001, 100 и 101.
Применим  правило записи СДНФ к  функции,  представленной  таблице 1.4, и получим три элементарных произведения , соответствующие входным комбинациям. Соединив эти произведения знаками логического суммирования, придем к СДНФ:

F(х2, х1, х0)  =