BooleanConjunctionMonoid constructor

BooleanConjunctionMonoid()