Which logical equivalence is known as the Law of Addition?
P ⟺ P∨QP \iff P \lor QP⟺P∨Q
P ⟹ (P∨Q)P \implies (P \lor Q)P⟹(P∨Q)
P∧Q ⟹ PP \land Q \implies PP∧Q⟹P
¬(P∧Q) ⟺ ¬P∨¬Q\neg(P \land Q) \iff \neg P \lor \neg Q¬(P∧Q)⟺¬P∨¬Q