Правило получения СДНФ из вектор-столбца

1. Выбрать все единичные наборы значений аргументов.

2. Каждому единичному набору поставить в соответствие элементарную конъюнкцию всех переменных так, чтобы в конъюнкции переменная была с отрицанием, если в наборе она равна 0.

3. Соединить полученные элементарные конъюнкции знаком дизъюнкции.