text: Пусть функция задана с помощью следующей таблицы истинности: Можно легко записать СДНФ, просто просуммировав минтермы (не обращая внимание на неполностью определённые термы), где функция принимает значение 1. f = x ¯ y z ¯ t ¯ + x y ¯ z ¯ t ¯ + x y ¯ z t ¯ + x y ¯ z t + x y z ¯ t ¯ + x y z t . {\displaystyle f={\bar {x}}y{\bar {z}}{\bar {t}}+x{\bar {y}}{\bar {z}}{\bar {t}}+x{\bar {y}}z{\bar {t}}+x{\bar {y}}zt+xy{\bar {z}}{\bar {t}}+xyzt.} Для оптимизации запишем минтермы, включая те, которые соответствуют равнодушным состояниям, в следующую таблицу: Теперь можно начинать комбинировать между собой минтермы, то есть проводить операцию склеивания.