(p^q)^┐p用只含∨和┒的等价式表达

问题描述:

(p^q)^┐p用只含∨和┒的等价式表达

主要用下面的公式
┒(p∧q)=┒p∨┒q
┒(p∨q)=┒p∧┒q
┒p∨p=1
(p∧q)∧(┐p)
=┐(┐(p∧q)∨p)
=┐(┐p∨┐q∨p)
---------------------------------
=┐(1∨┐q)
=┐1
=0