Faster Conversion to Normal Forms

No, currently (x | y | z) & (x | y) will not reduce to (x | y). How about this line: "If simplify is True, the result contains no trivially true clauses" (for CNF) and " ... contains no trivially false clauses" (for DNF)