''Простой конъюнкцией'' или ''конъюнктом'' называется конъюнкция некоторого конечного набора переменных или их отрицаний, причём каждая переменная встречается не более одного раза. ''Дизъюнктивной нормальной формой'' или ''ДНФ'' называется дизъюнкция простых конъюнкций.
Элементарная конъюнкция
* '''правильная''', если в неё каждая переменная входит не более одного раза (включая отрицание);
* '''полная''', если в неё каждая переменная (или её отрицание) входит ровно 1 раз;
* '''монотонная''', если она не содержит отрицаний переменных.
Например <math>a \overline{b} c\lor b c\lor\overline{a}</math> — является ДНФ.
''Совершенной дизъюнктивной нормальной формой'' или ''СДНФ'' относительно некоторого заданного конечного набора переменных называется такая ДНФ, у которой в каждую конъюнкцию входят все переменные данного набора, причём в одном и том же порядке. Например: <math>a \overline{b} c\lor a b c\lor\overline{a} b\overline{c}</math>.
Легко убедиться, что каждой булевой функции соответствует некоторая ДНФ, а функции отличной от тождественного нуля — даже СДНФ. Для этого достаточно в таблице истинности этой функции найти все булевы векторы, на которых её значение равно 1, и для каждого такого вектора <math>b=(b_1,b_2,\ldots,b_n)</math> построить конъюнкцию <math>x_1^{b_1} x_2^{b_2}\ldots x_n^{b_n}</math>, где <math>x_i^1 = x_i</math> <math>x_i^0 = \overline{x_i}</math>. Дизъюнкция этих конъюнкций является СДНФ исходной функции, поскольку на всех булевых векторах её значения совпадают со значениями исходной функции. Например, для импликации <math>x\to y</math> результатом является <math>\overline{x} y \lor \overline{x}\, \overline{y}\lor x y</math>, что можно упростить до <math>\overline{x}\lor y</math>.
