implemented conjunctions and disjunctions