" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА

Значение ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА в математической энциклопедии:

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

(*)

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

С. К. Соболев