p q p V q ¬ p (p V q)^ ¬ p (p V q) ^ ¬ p q