例如A->(B->A)是永真的公式,用打分表求其析取范式和合取范式,但是其值都是1,只能表示出析取范式
来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/11 12:44:14
例如A->(B->A)是永真的公式,用打分表求其析取范式和合取范式,但是其值都是1,只能表示出析取范式
但是没有值为0的项,怎么表示合取范式?
但是没有值为0的项,怎么表示合取范式?
根据蕴涵词的意义,当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)中总共有两个命题变元A和B,因而对应有2^2=4个不同的极大项,每个极大项对应着使得A→(B→A)为假的一种赋值.现在A→(B→A)不可能为假,所以A→(B→A)的主合取范式中不能含有极大项,因而其主合取范式只能是一个不含极大项的空范式.我们约定:用1表示重言式的主合取范式.所以命题公式A→(B→A)的主合取范式为 1.
P→(Q→P)的主析取范式为
由P→(Q→P)对应的所有4个极小项的析取得到.
当A为真时,B→A为真,因而A→(B→A)为真,所以A→(B→A)永远为真,即A→(B→A)是一个重言式.A→(B→A)中总共有两个命题变元A和B,因而对应有2^2=4个不同的极大项,每个极大项对应着使得A→(B→A)为假的一种赋值.现在A→(B→A)不可能为假,所以A→(B→A)的主合取范式中不能含有极大项,因而其主合取范式只能是一个不含极大项的空范式.我们约定:用1表示重言式的主合取范式.所以命题公式A→(B→A)的主合取范式为 1.
【离散数学】析取范式和合取范式怎么转化?
求P∧(P→Q)的析取范式和合取范式.
离散数学主析取范式和合取范式大题求高手解答
求P→Q∨R的析取范式、主析取范式、主合取范式
命题公式(PvQ)→R的析取范式是 ( )
离散数学怎样判断合取范式和析取范式?
离散数学_数理逻辑题: 求该"和取范式"的"析取范式"?
合取范式问题定义 一个命题公式称为合取范式仅当具有形式 :A1∧A2.An (n≥1)其中An 都是由命题变元或其否定组
数据结构中的1范式,2范式,3范式,bc范式,4范式,5范式.希望解释的直白些.
一道离散数学题目求主合、析取范式
命题公式¬(P→Q)的析取范式是( )
合取范式,合取主范式的区别,最好有例子,简单易懂一点