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

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

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

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

(*)

где каждое С _ij, i=1, . . ., п;j=1, . . ., m_i, есть либо переменная, либо отрицание переменной. К. н. ф. (*) является тавтологией тогда и только тогда, когда для любого iсреди С _i1, . . ., C_imi. встречаются обе формулы

для нек-рой переменной р. Для всякой пропозициональной формулы Аможно построить эквивалентную ей К. н. ф. В, содержащую те же переменные, что и А. Такая формула Вназ. К. р. ф. формулы А.

С. К. Соболев.