inclusive disjunction