Дизъюнктивные нормальные формы и импликанты

Функция f имплицирует функцию g, если .

Замечание: Если , то .

Если f имплицирует g, и f представлена единственной элементарной конъюнкцией, то f называется импликантом g.

Если из импликанта нельзя удалить ни одной переменной, то оно называется простым импликантом.