1) ; 2).

Основные свойства булевых операций и законы применяются для эквивалентных преобразований одной равносильной формулы в другую.

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

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

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

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