матем. конъюнкция литералов ( логических переменных с отрицаниями или без них) к на множестве переменных { x1, x2,... xn }, для которой справедливо выражение k ∨ f ( x1, x2,... xn) = f ( x1, x2,... xn)