Problems On Logical Equivalence