方法一:
原式=>┐(┐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 (根据主合取范式与主析取范式的互补性,由上式直接得到主析取范式)
猜你喜欢
- 1一架飞机由甲地飞往乙地,顺风飞行要2小时,逆风飞行比顺风飞行多用10分钟,已知飞机无风的飞行速度为800千米每时,
- 2正整数集,整数集,有理数集,实数集,它们之间有什么区别?
- 3“一门三父子,都是大文豪,诗赋传千古,峨嵋共山高” 一是中的三父子是指
- 4写景的作文怎么写?指点一下!
- 5do you still remember what your headmasted _______at yesterday 's meeting?
- 6平方千米与平方米的换算关系是?
- 7为什么加速度是矢量
- 8my most exciting experience 作文 急
- 9csc 与 sec(正割和余割)的读法
- 10“诗文出于真情则工,昔人所谓处于肺腑者也”是什么意思?