👤

[(~r∨ p) ∧ p] ↔ [(~q∨ r) ∧ s ]​