Implemented_Monoid

Class ANDMorganMonoid