матем.конъюнкция литералов (логических переменных с отрицаниями или без них) К на множестве переменных {X1, X2, ... Xn}, для которой справедливо выражение K ∨ f(X1, X2, ... Xn) = f(X1, X2, ... Xn) ◆ Можно сказать, что импликант булевой функции f – это элементарная конъюнкция K, которая равна 0 на тех же наборах аргументов, что и функция f. Б. А. Долгих, А. А. Петренко, «Дискретная математика», 2007 г.