以下有关借贷记账法的账户结构，说法正确的有()。

试用多种方法证明：

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

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

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

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

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

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

用“形式证明”的方法证明(必要时，可用间接证明法)

S→(￢Q→R)，P→￢R，Q→￢S，S￢P．

证明：P→Q，￢Q∨R，￢R，￢(￢P∧S)⇔￢S．

证明：(不用真值表法)

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

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

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

用推理规则证明：

前提 ￢xP(x)→(￢x)((P(x)∨Q(x))→R(x))，￢xP(x)，￢xQ(x)，

结论 (￢x)(￢y)(R(x)∧R(y))．

A．（￢p∧q∧r）∨（p∧r）

B．（p∧q∧r）∨（p∧￢q∧r）

C．（￢p∧￢q∧r）∨（p∧￢q∧r）

D．（￢p∨￢q∨r）∧（r∨￢q∨p）

试在空格中写出等值演算的依据：

P→(Q∨R)

=￢P∨(Q∨R) ______

=￢P∨￢P∨Q∨R ______

=(￢P∨Q)∨(￢P∨R) ______

=(P→Q)∨(P→R) ______

试在空格中写出等值演算的依据：

P→(Q∨R)

=￢P∨(Q∨ R) ______

=￢P∨￢P∨Q∨R ______

=(￢P∨Q)∨(￢P∨R) ______

=(P→Q)∨(P→R)______