行业标准由( )制定。

证明：(不用真值表法)

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

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

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

用真值表方法证明下面各题：

(1)P→(Q→R)=Q→(P→R)．

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

(3)P→Q=￢P∨Q．

求下列公式的析取范式、特异析取范式、台取范式和特异合取范式：

(1)(￢P∨￢Q)→(P∨￢Q)．

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

(3)P∨(￢P→(Q∨(￢P→R)))．

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

(1)吸收律p∨(p∧q)p，p∧(p∨q)p．

(2)同一律 p∨0p，p∧1p．

(3)归谬论 (p→q)∧(p→￢q)￢p．

用推理规则证明以下各式：

(1)￢(P∧￢Q)，￢Q∨R，￢R￢P．

(2)B∧C，￢(B—C)∨(H∨G)H∨G．

设P表示“她打乒乓球”，Q表示“她打篮球”，将下列各公式翻译成自然语言：

(1)P∨Q (2)P∧Q (3)P∧￢Q

(4)￢P∨￢Q (5)￢(￢P) (6)￢(￢P∧Q)

(7)￢P→Q

试用多种方法证明：

￢(P∧￢Q)∧(￢Q∨R)∧]R￢P．