👤

[(p → q) ∨ ∼ p] ∧ (∼ q → p)