Конъюнктивная Нормальная Форма
пропозициональная формула, имеющая вид (*) где каждое С ij, i=1, . ., п;j=1, . ., mi, есть либо переменная, либо отрицание переменной. К. Н. Ф. (*) является тавтологией тогда и только тогда, когда для любого iсреди С i1, . ., Cimi. Встречаются обе формулы для нек-рой переменной р. Для всякой пропозициональной формулы Аможно построить эквивалентную ей К. Н. Ф. В, содержащую те же переменные, что и А. Такая формула Вназ. К. Р. Ф. Формулы А. С. К. Соболев..
Дополнительный поиск Конъюнктивная Нормальная Форма
На нашем сайте Вы найдете значение "Конъюнктивная Нормальная Форма" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Конъюнктивная Нормальная Форма, различные варианты толкований, скрытый смысл.
Первая буква "К". Общая длина 30 символа