Question

Without using truth table prove that {[(pvq)^_p] -2}=™P
1 :​

Answer 1

Answer:

yes there is a way by using the logical equivalence formula (~p v q) ∧ (~q) (~p ∧ ~ q) v (q ∧ ~q ) ( ~p ∧ ~q) ~(p ∧ q)