В чем заключается метод построения СДНФ булевой функции?

Метод построения СДНФ булевой функции основан на строках таблицы истинности, где функция равна «1». www.work5.ru

Алгоритм построения: www.napishem.ru

1. Отметить в таблице все наборы переменных, при которых функция равна нулю. www.napishem.ru
2. Для каждого отмеченного набора всех переменных записать ДНФ. www.napishem.ru При этом, если значение какой-либо из них равно нулю, то включается сама переменная, в любом другом случае её нужно инвертировать. www.napishem.ru
3. В конце все полученные дизъюнкции связать друг с другом операциями конъюнкции. www.napishem.ru

Совершенная дизъюнктивная нормальная форма (СДНФ) — это форма логического выражения, представляющая его как дизъюнкцию (логическое «ИЛИ») конъюнктов (выражений с операцией «И»). www.work5.ru В СДНФ логическая функция принимает значение 1 при наличии хотя бы одного истинного конъюнкта. www.work5.ru