Question

iv) Without using truth table prove that : ~ (p V q) V (~ p1q) =~p​

Answer 1

~(pvq) v (~p^q)

=(~p^~q) v(~p^q)

= ~p^(~qvq)

= ~p ^ T

=~p

T is for all true