Check Logical Equivalence Calculator