Which of these is the 'Identity Law' for disjunction (OROROR)?
P∨T≡TP \lor T \equiv TP∨T≡T
P∨F≡PP \lor F \equiv PP∨F≡P
P∨P≡PP \lor P \equiv PP∨P≡P
P∨¬P≡TP \lor \neg P \equiv TP∨¬P≡T