conjunction and disjunction