Смотреть все термины
СКНФ
Конъюнкция нескольких дизъюнкций, в которой каждая элементарная дизъюнкция содержит все переменные, причём каждая переменная (либо её отрицание) входит в дизъюнкцию один раз.
СКНФ (совершенная конъюнктивная нормальная форма) — конъюнкция нескольких дизъюнкций, которая удовлетворяет следующим условиям: не содержит одинаковых элементов дизъюнкции, ни одна дизъюнкция не содержит одинаковых переменных, каждая элементарная дизъюнкция полная, то есть содержит все входные переменные (или их отрицания).
