5、 下列推理非重言式的有( )。
A.(p-q)-(g-P)
B.[(p-9)n(q-r)]-p-r) c.[(pvqvr)A-pl-(qnr)
D.[r-(pnq)1-x-(-pv-q)