конъюнкция литералов (логических переменных с отрицаниями или без них) К на множестве переменных {X<sub>1</sub>, X<sub>2</sub>, ... X<sub>n</sub>}, для которой справедливо выражение K ∨ f(X<sub>1</sub>, X<sub>2</sub>, ... X<sub>n</sub>) = f(X<sub>1</sub>, X<sub>2</sub>, ... X<sub>n</sub>).
ru (матем.)
Импликанта функции – некоторая логическая функция, обращаемая в ноль, по крайней мере, на тех же наборах переменных, на которых сама функция также равна нулю.
