How To Determine Logical Equivalence