A rule of inference in propositional logic, written as 'Equiv.' for short.

(P≡Q) = {(P→Q) ∧ (Q→P)}

Or

(P≡Q) = {(P∧Q) ∨ (¬P∧¬Q)}

Or in English: saying that "P is the same as Q" is the same as saying either that **"anytime that you have P then you will also have Q AND anytime that you have Q then you will have P"** or **"either both P and Q are true OR neither P nor Q are true."**

Back up to Rules of Inference

Review your Logic symbols