separate conjunction and disjunction from Boolean class into MonotoneBoolean class