离散数学题求解,急急急!!!

先求出下列命题的公式的标准析取范式,再根据标准析取范式求标准合取范式:(p∧Q)∨否r

有谁知道怎么求解的吗??可以写一下答案吗?详细一点好,谢谢!!

(p∧Q)∨┐R=(p∧Q∧R)∨(p∧Q∧┐R)∨(┐R∧P)∨(┐R∧┐P)
=(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)∨(p∧Q∧┐R)∨(P∧┐Q∧┐R)∨(┐P∧Q∧┐R)∨(┐P∧┐Q∧
┐R)
其中所含小项为m111,m110,m100,m010,m000,故标准合取范式的所含大项为
M001,M011,M101,故标准合取范式为
(P∨Q∨┐R)∧(P∨┐Q∨┐R)∧(┐P∨Q∨┐R)
温馨提示:答案为网友推荐,仅供参考
第1个回答  2009-06-29
用真值表就行
(p∧Q)∨┐r的成真赋值是000,010,100,110,111,转化为十进制数是0、2、4、6、7,所以标准析取范式是m0∨m2∨m4∨m6∨m7

除了0、2、4、6、7外的3位二进制数对应的十进制数是1、3、5

所以,标准合取范式是:M1∧M3∧M5

------
可能表示符号有区别,你理解一下
相似回答