Tautological equivalence

Two statements are logically equivalent if they have the same truth values in all possible circumstances. It is never the case that one of the statements is true, while the other is false,and vice versa, in the column under the (main) operator(s). Tautological equivalence is determined by a truth table.