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

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

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

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