Алгоритм перехода от табличного задания функции к СКНФ

1. Выбрать в таблице задания функции все наборы аргументов, на которых функция обращается в ноль.
2. Выписать дизъюнкции, соответствующие этим наборам аргументов. При этом если аргумент X входит в данный набор как 0, он вписывается без изменения в дизъюнкцию, соответствующую данному набору. Если же Х входит в данный набор как 1, то в соответствующую дизъюнкцию вписывается его отрицание.
3. Все полученные дизъюнкции соединяются между собой знаками конъюнкций.

f(X1, X2, X3)=(X1