Ideas.Common.Algebra.BooleanLaws
andOverOrLaws
orOverAndLaws
complementAndLaws
complementOrLaws
absorptionAndLaws
absorptionOrLaws
deMorganAnd
deMorganOr
doubleComplement
complementTrue
complementFalse
booleanLaws
fromAndLaw
fromOrLaw
propsBoolean