用等值演算求(P→Q)→R的主析取范式
题目
用等值演算求(P→Q)→R的主析取范式
答案
方法一:
原式=>┐(┐P∨Q)∨R
=>(P∧┐Q)∨R
=>((P∧┐Q)∧(R∨┐R))∨(R∧(P∨┐P)∧(Q∨┐Q)))
=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨((R∧P)∨(R∧┐P))∧(Q∨┐Q))
=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨(R∧P∧Q)∨(R∧P∧┐Q)∨ (R∧┐P∧Q)∨(R∧┐P∧┐Q)
=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨(P∧Q∧R)∨(P∧┐Q ∧R)∨ (┐P∧Q ∧R)∨(┐P∧┐Q∧R)(上式整理后)
=>m1∨m3∨m4∨m5∨m7 (上式整理后)
方法二:
原式=>┐(┐P∨Q)∨R
=>(P∧┐Q)∨R
=>(P∨R)∧(┐Q∨R)
=>((P∨R) ∨ (Q∧┐Q))∧((P∧┐P)∨(┐Q∨R))
=>(P∨Q∨R) ∧ (P∨┐Q∨R) ∧(P∨┐Q∨R) ∧(┐P∨┐Q∨R)
=>M0∧M2∧M6 (上式整理后得到主合取范式)
=>m1∨m3∨m4∨m5∨m7 (根据主合取范式与主析取范式的互补性,由上式直接得到主析取范式)
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
热门考点
- 连词成句:you,the,please,would,me,show,zoo,way,to,the
- is with he looking his at friends dinosaurs组句
- 求值 cos[arcsin(-根号3/2)] 3Q
- 范仲淹的《苏幕遮》
- 太阳直射点在南北回归线来回移动的原因是地轴倾斜于黄道面还是黄赤交角的存在,倾斜可指90度吗?
- 已知sina-cosa=√3/3,则cos(π/2-2a)
- 南北回归线附近的大陆西岸地区属于什么气候
- they have nice tennis rackets ( )only ten yuan英语是什么
- 一辆汽车的轮胎外圈直径0.8米,若通过628米的桥,车轮要转几周?
- 一面镜子挂在墙上,镜前的水平地面上站着义个1.8m高的人,他的眼睛与头顶的距离差为10cm.此人通过镜子下端恰好能看到自己的脚,则镜子的下边缘地面的高度是多少?带图跟好.