partial disjunction

Мат. частичная дизъюнкция