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