Импликанта булевой функции
— любая функция
такая, что если
, то
.[1]
Имплицента булевой функции
— любая функция
такая, что если
, то
.[2]
Следующие условия эквивалентны:
— импликанта
;
- множество единиц
является подмножеством множества единиц
(
);[3]
;
— имплицента
;[3]
- множество нулей
является подмножеством множества нулей
(
);
;[4]
.[5]