What Is Logical Equivalence In Discrete Mathematics