Implemented_Semiring

Class OR_AND_Morgan_SemiRing