Булевы функции
Последние используют ограниченное число элементарных булевых функций . Например, для СДНФ такими функциями являются...
Иногда из сокращенной ДНФ можно убрать одну или несколько простых импликант, не нарушая эквивалентности исходной функции .