Question 1044505
 ~[(T ^ (p v ~q)) v (r ^ (p v ~q))]

= ~[(T v r) ^ (p v ~q)], by distributivity (factored ^ (p v ~q) from both expressions)

= ~[(p v ~q)^(T v r)], by commutativity.