Implemented_Semiring

Class OR_AND_SemiRing