真值表写出主合取范式

左古爽4722((p∨q) ∧(p→q)) ↔(q→p) 的主析取范式和主合取范式 谢谢~ -
通儿敬18736271891 ______ 方法1.这是含有两个变元的公式,得用真值表十分方便: p q p∨q p→q ((p∨q) ∧(p→q)) q→p ((p∨q) ∧(p→q)) ↔(q→p) T T T T T T T T F T F F T F F T T T T F F F F F T F T F 利用最后一列为T对应的小项的析取得主析取范式p∧q 利用最...

左古爽4722离散数学 为什么矛盾式的主合取范式含全部2^n个极大项, -
通儿敬18736271891 ______ 矛盾式,对所有的2^n个取值,它的值都为0.根据真值表求主合取范式的方法,这2^n个极大值的合取就是主合取范式. 也就是所既然所有的取值都使得命题为假,那它的主合取范式显然要包括全部2^n个极大项. 简单例子:非P∧P 真值表如下: 非P P 矛盾式的值 0 1 0 1 0 0 当然主合取范式就是所有使得真值为0的极大项的合取啊! 若满意,请采纳!

左古爽4722离散数学中怎样用主析取范式求主合取范式 -
通儿敬18736271891 ______ 主析取范式是由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1. 主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是使对应的指派得到命题公式的真值为0. 所以,假设有三个命题変元,极小项和极大项的下标分别是0--7,如果一个命题変元的主析取范式表示为m1或m3或m5,它的主合取范式应该是M0且M2且M4且M6且M7. 也就是说下标是极小项下标集合的补集.

左古爽4722主合取范式为矛盾式如何用极大或极小项表示 -
通儿敬18736271891 ______ 用0表示假 全部最大项的析取为0 不能用最小项表示.即:用最小项表示就是0

左古爽4722试求下列命题公式的主析取范式与主合取范式,并且判断该命题公式类...
通儿敬18736271891 ______[答案] 根据蕴涵词的意义,当A为假时,A→(B→A)为真; P→(Q→P)的主析取范式为 由P→(Q→P)对应的所有4个极小项的析取得到. 当A为真时,B→A为真,因而A→(B→A)为真,所以A→(B→A)永远为真,即A→(B→A)是一个重言式.A→(B→A)中总共有...

左古爽4722离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教 -
通儿敬18736271891 ______ 可以用真值表求.根据蕴含式A→B的真值的情形,只有A真B假时才为假,所以(P∨Q)→(R∨Q) 成假只有当P∨Q真,R∨Q假时,此时P真Q假R假,即成假赋值只有100,对应的极大项是M4,所以主合取范式是M4,那么主析取范式就是m0∨m1∨m2∨m3∨m5∨m6∨m7

左古爽4722命题公式(p→(p∧q))∨r的主析取范式中含有多少个极小项 - 上学吧普...
通儿敬18736271891 ______[答案] 可以用真值表求.根据蕴含式A→B的真值的情形,只有A真B假时才为假,所以(P∨Q)→(R∨Q) 成假只有当P∨Q真,R∨Q假时,此时P真Q假R假,即成假赋值只有100,对应的极大项是M4,所以主合取范式是M4,那么主析取范式就是m0∨m...

左古爽4722谁能帮我做一下是怎么得到的这个范式啊 可以直接做也可以求主合取范式给我也行 -
通儿敬18736271891 ______ 可以先求主合取范式,然后得到主析取范式 具体步骤: (p→r)∧(q→¬r)∧(¬r→(p∨q)) ⇔(¬p∨r)∧(¬q∨¬r)∧(r∨(p∨q)) 变成 合取析取 ⇔(¬p∨r)∧(¬q∨¬r)∧(r∨p∨q) 结合律 ⇔(¬p∨r)∧(¬q∨¬r)∧(p∨q∨r) 交换律 排序 ⇔(¬p∨(¬q∧...