11智能在线
新记
离散数学:求p→(q∧┐r)的主合取范式、主析取范式、成真赋值成假赋值以及判断命题公式类型。
如题所述
举报该文章
相关建议 2013-10-06
命题公式是蕴涵式,成假赋值只有一种情况,是p真q∧┐r 假时,q∧┐r 假有三种情况,q,r都真或都假,或q假r真,所以命题公式的成假赋值是111,101,100,对应的十进制数是7,5,4,所以主合取范式是M4∧M5∧M7。
成真赋值是000,001,010,011,110,主析取范式是m0∨m1∨m2∨m3∨m6。
命题公式是可满足式。
追问
谢谢
温馨提示:内容为网友见解,仅供参考
当前网址:
https://11.t2y.org/zz/2mm7qmvmm.html
其他看法
第1个回答 2013-10-07
通过等值运算
p→(q∧┐r)
<==> ┐p∨(q∧┐r)
<==> (┐p∨q)∧(┐p∨┐r)
<==> (┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨q∨┐r)∧(┐p∨┐q∨┐r)
<==> (┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨┐q∨┐r)
<==> M4∧M5∧M7 (主合取范式)
<==> m0∨m1∨m2∨m3∨m6 (主析取范式)
由此可得成假赋值为100,101,111,成真赋值为000,001,010,011,110。
本回答被网友采纳
相似回答
大家正在搜
相关问题
离散数学,主析取范式主合取范式成真赋值成假赋值
(p→q)∧q∧r的主析取范式主合取范式成真赋值成假赋值
﹁(p→q)∧q∧r的主析取主合取范式,以及 成真成假赋值
离散数学P∨(Q∧R)→P∧Q∧R的主析取范式、主合取范式、...
主析取范式和主合取范式,成真成假赋值
求(┐P→Q)→(┐Q∨P)的主析取范式,主合取范式和成假赋...
离散数学 (p ∨(q ∧r ))→(p ∧q ∧r)的主析...
离散数学﹁p→q的成真赋值