Deriving Logical Equivalences