早教吧 育儿知识 作业答案 考试题库 百科 知识分享

利用主析取范式判断公式((p→q)∧p)→q类型

题目详情
利用主析取范式判断公式((p→q)∧p)→q类型
▼优质解答
答案和解析
P→Q
=~P∨Q
~Q→~P
=~(~Q)∨~P
=Q∨~P
=~P∨Q
(~P∨Q)∧(~P∨Q)=~P∨Q
为仅可满足式
当(P,Q)=(0,0),(0,1),(1,1)时均可使命题为真