—матем. то же, что импликант; конъюнкция литералов (логических переменных с отрицаниями или без них) К на множестве переменных {X1, X2, ... Xn}, для которой справедливо выражение K ∨ f(X1, X2, ... Xn) = f(X1, X2, ... Xn) Импликанта функции – некоторая логическая функция, обращаемая в ноль, по крайней мере, на тех же наборах переменных, на которых сама функция также равна нулю.
