Implemented_Monoid

Class ORMorganMonoid