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。
命题公式是可满足式。
追问
谢谢
温馨提示:答案为网友推荐,仅供参考
当前网址:
http://11.wendadaohang.com/zd/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∧┐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的合取范式
p等价q蕴含r的主合取范式
p∧q命题的真假表
p→q的主析取
p析取q析取r
p蕴涵q蕴涵r的主析取
p双条件q等于什么离散数学
离散数学
p强析取q
相关问题
离散数学,主析取范式主合取范式成真赋值成假赋值
(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的成真赋值