Логическая функция
называется импликантой логические функции
, если все единичные наборы переменных функции
являются подмножеством единичных наборов функции 
Пример.
В логической функции
импликантами являются все конституенты «1» (логическая функция, единичное значение которой определено только на одном наборе переменных):
.
Простой импликантой логической функции
называется элементарное произведение всех или части переменных
, являющееся импликантой логической функции
, такое, что удалении любого числа сомножителей приведет к получению произведения, не являющегося импликантой.
Пример.
В логической функции
, определенной на наборах
, выполним операции склеивания первого и второго, а также третьего и четвертого слагаемых:
.
простыми импликантами являются произведения
, которые определены на наборах
и
, соответственно. Причем, переменная
для обеих произведений является фиктивной. Удаление любой из переменных в этих конъюнкциях приведет к увеличению числа единичных наборов, следовательно, эти произведения являются простыми импликантами.