conjunctor-disjunctor