Question 7 0.6 pts Let p, q, and r be propositional variables. Consider the formula ( pq)^(-p -qr) If you applied the algorithm discussed in this module to transform a CNF formula into 3CNF, the result would be (p qr)^( pq'-r)^(-pv-qyr) (p qr)^(-p'-'-r) (p q-r)^(-p-qr) (p q'T)^(-p-qr)