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

Источник: Wiktionary.org