I am fairly new to logic and I am curious as to whether it is possible to simplify this proposition where 4 out of 5 values must be true and one of them has to be false.
(P1 ∧ P2 ∧ P3 ∧ P4 ∧ ¬P5) ∨ (P1 ∧ P2 ∧ P3 ∧ ¬P4 ∧ P5) ∨ (P1 ∧ P2 ∧ ¬P3 ∧ P4 ∧ P5) ∨ (P1 ∧ ¬P2 ∧ P3 ∧ P4 ∧ P5) ∨ (¬P1 ∧ P2 ∧ P3 ∧ P4 ∧ P5)
As you can see my current proposition is unnecessarily long.