离散数学p→﹁q的成真赋值?

如题所述

第1个回答  2020-02-24
﹁p→q <==> ﹁﹁ p∨q <==> p∨q
 <==> M0 (主合取范式)
 <==> m1∨m2∨m3 (主析取范式)
所以,该公式的成真赋值为 01, 10, 11。本回答被网友采纳

这道离散数学题目帮忙一下
命题公式的真值若是1,则¬p→q,q,r的真值都是1,所以q,r的真值都是1,p的真值任意,所以命题公式的成真赋值是011,111。所以主析取范式是m3∨m7。

离散数学﹁p∨ q的成真赋值
p为假,q为真,命题为真 p为假,q为假,命题为真 p为真,q为真,命题为真

离散数学小项赋值与编码相同为真是什么意思 大项相反是什么意思 求学霸...
以2个命题变项为例。真值1对应p,q,真值0对应非p与非q,那么小项的成真赋值就是小项中2个命题变项的编码排列,比如p∧q的成真赋值就是11,p∧(非q)的成真赋值就是10。而大项的成假赋值是大项中2个命题变项的编码排列,比如p∨q的成假赋值是把11相反为00,p∨(非q)的成假赋值是01 ...

数学与应用数学专业离散数学学什么内容?
比如(¬(p→¬q) ∧((r∨s) ↔¬q)的层次计算就是:0 1 0 0 1 2 1 1 3 2 4 4层公式 设p1,p2,p3…pn是公式A中的全部与命题变项,那么给它们各指定一个真值,这就是A的一个赋值\/解释。若使A=1,则是成真赋值,否则就是成假赋值。所以含有n(n≥1)个命题变项的公式有...

离散数学:求p→(q∧┐r)的主合取范式、主析取范式、成真赋值成假赋值以...
成假赋值只有一种情况,是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。命题公式是可满足式。

离散数学:求p→(q∧┐r)的主合取范式、主析取范式、成真赋值成假赋值以...
成假赋值只有一种情况,是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。命题公式是可满足式。

离散数学问题 赋值的定义?成真赋值的定义?成假赋值的定义? 我是刚学离...
对于一个命题公式P中的所有命题变项指定一组真值,则称为P的一个赋值.如果在某种赋值下,命题公式P的值为1,这种赋值称为成真赋值,如果在某种赋值下,命题公式P的值为0,这种赋值称为成假赋值.命题公式P的所有赋值的总和,就构成了真值表.

离散数学推理理论问题,求助
1、M01是两个命题变项p、q组成的极大项中的一个,p V ﹃q的成假赋值是01,那么这个极大项就可以表示为M01或M1(就是把01转换成十进制了)。m00、m10、m11都是极小项,其下标00、10、11代表它所对应的合取式的成真赋值,也可以转换为十进制,表示为m0、m2、m3。极大项与极小项在主析取范式...

离散数学1.12的第二题
成真赋值,在求出主析取范式、主合取范式后,检查各个项的赋值即可,就不详细解答了。(1)(p∨(q∧r))→(p∧q∧r)⇔¬(p∨(q∧r))∨(p∧q∧r) 变成 交并 ⇔(¬p∧¬(q∧r))∨(p∧q∧r) 德摩根定律 ⇔(¬p∧(¬q∨¬r))∨...

离散数学 主合取范式问题
构成主合取范式的每一个极小项的成假赋值是唯一的,除此之外的赋值都是成真赋值。比如三个命题变项组成的一个极小项p∨q∨r的成假赋值是000,对应于p,q,r都取0。再比如┐p∨┐q∨r的唯一的成假赋值是110,也对应于p,q,r都取0。

相似回答