Logical Equivalence Calculator Using Laws