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