Use BooleanSimplifier
Return literals for tautologies and contradictions