多选题（多选）下列等值式成立的有（ ）。AP→Q⇔¬Q→¬PBP∨（P∧R）⇔RCP∧（P→Q）⇔QDP→（Q→R）⇔（P∧Q）→R
题目
多选题
（多选）下列等值式成立的有（ ）。
A
P→Q⇔¬Q→¬P
B
P∨（P∧R）⇔R
C
P∧（P→Q）⇔Q
D
P→（Q→R）⇔（P∧Q）→R
相似考题
参考答案和解析
正确答案：
A,B
解析：
使用特值法检验，B选项中，若令P⇔1、R⇔0，则P∨（P∧R）⇔1，R⇔0，二者不等值，故B不成立；C选项中，若令P⇔0、Q⇔1，则P∧（P→Q）⇔0，Q⇔1，二者不等值，故C项不成立；A、D由真值表可以验证成立，故本题选A、D。
使用特值法检验，B选项中，若令P⇔1、R⇔0，则P∨（P∧R）⇔1，R⇔0，二者不等值，故B不成立；C选项中，若令P⇔0、Q⇔1，则P∧（P→Q）⇔0，Q⇔1，二者不等值，故C项不成立；A、D由真值表可以验证成立，故本题选A、D。