与或非 逻辑题

与或非 逻辑题
v表示或 n表示与
A=(P n (-Q)) v ((-P) n Q)
B=-((P n Q) v ((-P) n (-Q)))
证明 A=B
最好用式子推导证明。
可以用
-(P v Q) = (-P) n (-Q)
P v (Q n R) = (P v Q) n (P v R)
……
等等的式子直接推导