The definition of logical equivalence
We say that the propositions p and q are logically equivalent
(and write p? q) if p?q is a tautology.
In other words, p? q means that p and q have the same truth
values in all possible cases (in all rows of the truth table).