(p v q') v (p΄ Λ q) Ξ