来源：学生作业帮 编辑：搜狗做题网作业帮 分类：数学作业 时间：2024/05/01 12:05:56
命题化简问题
求这五题的过程和答案.
一横一竖的符号就是“~”“非”
多了,仅做一个：
1）((P→Q)↔(┐Q→┐P))∧R
(((P→Q)→(┐Q→┐P))∧((┐Q→┐P)→(P→Q)))∧R
((┐(┐P∨Q)∨(┐┐Q∨┐P))∧(┐(┐┐Q∨┐P)∨(┐P∨Q)))∧R
(((┐┐P∧┐Q)∨(Q∨┐P))∧((┐Q∧┐┐P)∨(┐P∨Q)))∧R
(((P∨(Q∨┐P))∧(┐Q∨(Q∨┐P))∧((┐Q∨(┐P∨Q))∧(P∨(┐P∨Q)))∧R
((1∧1)∧(1∧1))∧R
R
搜狗做题网