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