конъюнкция литералов (логических переменных с отрицаниями или без них) К на множестве переменных {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 (матем.)
Можно сказать, что импликант булевой функции ''f'' – это элементарная конъюнкция ''K'', которая равна 0 на тех же наборах аргументов, что и функция ''f''.
Английский