Logical Equivalence Calculator With Steps