From: A democratic preference aggregation model
P
Q
(P ∧ Q) ↔ D
D
Inspectors 1 and 5
Yes
Inspectors 2 and 4
No
Inspector 3
Majority
?