永假式有主合取范式吗

潘宣砖5165求(P∨Q)→(P∧Q)的合取范式和析取范式 -
广饶士13484271816 ______ 一般的教材不直接介绍范式的概念,以下属于个人理解.我觉得范式可以理解为一类结构特殊一点的合式公式或干脆称之为命题公式,说它特殊是因为它的组成部分,除了命题变项p,q,r,...外,其中的联结词组成一个联结词完备集,比如{否定,合取,析取},由此可以构造出析取范式或合取范式.这类范式可以很容易判断是永真式、永假式还是可满足式子,讨论范式的目的就是研究命题公式的简化,从而可以对命题公式进行分类.

潘宣砖5165主析取范式和主合取范式必须同时存在吗 -
广饶士13484271816 ______ 任何命题公式都同时有: 主析取范式和主合取范式 不清楚你的同时存在指的是什么

潘宣砖5165不用真值表证明(p - >q)且(q - >r) - >(p - >r)是永真式 -
广饶士13484271816 ______ 列一个真值表: p q r s 式子 1 0 0 0 …… 共2^4=16项,如果都是0,为永假,都是1则永真,有0有1为可满足 ----------------------------- 奥,什么时候补充的,没有看到,不好意思. 求出析取范式和合取范式 ((p∨q)→r)←→s (((p∨q)→r)→s)∧(s...

潘宣砖5165怎么用真值表求主合取范式? -
广饶士13484271816 ______ 首先要知道命题公式中有几个命题变项,比如n个. 其次,找出成假赋值,换算成n位十进制数i,以此作为下标的极大项Mi的合取即为所求的主合取范式. 例如:命题公式p∨q→r,成假赋值是010,100,110,所以主合取范式是M2∧M4∧M6 好评吧!!

潘宣砖5165离散数学主析取范式 -
广饶士13484271816 ______ (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)∨(?p∧?r)∨(p∨q∨r) 分配律 ? (?p∧?q∧(?r∨r))∨(?p∧(?q∨q)∧?r)∨(p∨q...

潘宣砖5165离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教 -
广饶士13484271816 ______ 可以用真值表求.根据蕴含式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

潘宣砖5165下列命题为假的是 -
广饶士13484271816 ______ B