Математическая энциклопедия - дизъюнктивная нормальная форма

пропозициональная формула, имеющая вид

(*)

где каждое Cij(i=1, ... , n; j=1, ... , mi) есть либо переменная, либо отрицание переменной. Д. н. ф. (*) выполнима тогда и только тогда, когда при нек-ром iсреди С i1, ..., С iтi не встречаются одновременно формулы вида , где рпеременная. Для всякой пропозициональной формулы Аможно построить эквивалентную ей Д. н. ф. В, содержащую те же переменные, что и А. Такая формула Вназ. Д. н. ф. формулы А.

С. К. Соболев

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985