Considerando que os símbolos ¬, ∧, ∨, → e ↔ representam negação, conjunção, disjunção, implicação e implicação, respectivamente, qual das alternativas apresenta uma tautologia?
P ∧ Q ∧ R
P ∨ Q ↔ R ∨ S
P ∨ Q ↔ R ∧ S
P ∨ Q ∨ R → S
P ∨ Q ∨ R ∨ ¬S ∨ ¬P
