下列公式为永真公式的是(14)。A．(P∨Q)→RB．p→(P∨Q)C．(P∨Q)→(P∧Q)D．(P∧Q)图片R

第1题：

与命题公式P®（Q®R）等值的公式是（)

A．(PÚQ)®R

B．(PÙQ)®R

C．(P®Q)®R

D．P®(QÚR)

第2题：

以下基本推理规则错误的是（）。

A．P→Q，Q→R ⇒ P→R

B．P⋁Q，P→R，Q→R ⇒ R

C．P ⋀ Q ⇒ P

D．P →Q , Q ⇒ P

第3题：

证明下列命题公式之间的等价的 （1）（P→Q）∧（R→Q）Û（P∨R）→Q （2）¬（P↔Q）Û（P∨Q）∧¬（P∧Q） （3）¬（P↔Q）Û（P∧¬Q）∨（¬P∧Q） （4）（（Q∧R）→S）∧（R→（P∨S））Û（R∧（P→Q））→S；

第4题：

求公式（P→（Q∧R))∧（¬P→（¬Q∧¬R))的析取范式

A．(P∧Q∧R)∨(¬P∧Q∧¬R)

B．(P∧Q∧¬R)∨(¬P∧¬Q∧¬R)

C．(P∧Q∧R)∨(¬P∧¬Q∧¬R)

D．(P∧Q∧R)∨(¬P∧¬Q∧R)

第5题：

下列字符串是否是命题公式。 （1）（P→Q）↔（¬Q→¬P） （2）（Q∧（P→Q））→（P→Q） （3）（¬Q→P）→（P→Q） （4）（P∨Q→R↔）S （5）（P∧Q）↔P （6）（P→¬P）¬P （7）（P→QR→Q） （8）¬（P↔Q）Û（P∨Q）∧¬（P∧Q） （9）（P∧¬Q）∨（¬P∧Q） （10）（（Q∧R）→S）∧（R→（P∨S））∧（R∧P→Q）→S