
Patrick B. answered 10/16/19
Tutor
4.7
(31)
Math and computer tutor/teacher
~(p ^ q) y ( p v q) = <--- identity for inference: A-->B = ~A v B
~p v ~q v p v q = <--- DeMorgans
~p v p v ~q v q <---- commutative
(~p v p) v (~q v q) <--- associative
T v T <--- x or not x must be true
T