某公司2006年销售收入为1亿元，销售成本为8000万元，2006年期初存货为450万元，2006年期末存货为550

证明：(不用真值表法)

(1)(P∧Q)∨￢P=￢P∨Q．

(2)(P∧Q)→R=(P→R)∨(Q→R)．

(3)P→(Q→R)=(P∧￢R)→￢Q．

设p、q、r为任意的个体变项，用真值表验证：

(1)结合律 (p∨q)∨rp∨(q∨r)；

(p∧q)∧rp∧(q∧r)．

(2)分配律 p∨(q∧r)(p∨q)∧(p∨r)：

p∧(q∨r)(p∧q)∨(p∧r)．

试用假设推理方法证明下面的定理：

(1)(R→P)→((R→Q)→(R→P∧Q))，

(2)(P∧Q→R)→(P→(Q→R))．

用真值表判断下列公式的类型．

(1)p→(p∨q∨r)．

(2)￢(￢q∨p)∧p．

(3)(p→q)→(￢q→￢p)．

(4)(p∧r)leftrightarrow￢(p∨q)．

用等值演算法证明下面等值式．

证明下列推理： 1)ØP∨Q，ØQ∨R，R®SÞP®S。 2)(P∨Q)®RÞ (P∧Q)®R。 3)A®ØB，A∨C，C®ØB，R®BÞØR。 4)ØB，C®ØA，ØB®A，C∨DÞD。

判断P→(Q→R)P∧Q→R成立(用真值表法、等值演算法和范式法)。