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