（1） （p n (p->q) )->q = (p n ( *p V q))->q = ((p n *p) V (p n q))->q = (p n q)->q =*(p n q) V q = *p v *q v q = T 是永真式
（2） (*p -> r ) n (p q) =( pvr) n (*pvq) n (*qvp) = ((pvr)v(qn*q))n(*pvq)n(*qvp) = (pvqvr)n(pv*qvr)n(*pvqvr)n(*pv*qvr)n(pv*qv*r) 这个叫什么式,忘记了,你应该知道了吧
注： n 代表 与
* 代表 非
v 代表 或