Two statements X and Y are logically equivalent if any of the following two conditions hold −

The truth tables of each statement have the same truth values.
The bi-conditional statement X⇔Y is a tautology.

Example − Prove ¬(A∨B)and[(¬A)∧(¬B)] are equivalent   _{Your Comment}