11问答网
所有问题
离散数学的用等值演算法求命题公式┐(P∨Q)→R的主析范式(用极小项表示),并求该公式的所有成真赋值?
离散数学的一道题,,,用等值演算法求命题公式┐(P∨Q)→R的主析范式(用极小项表示),并求该公式的所有成真赋值?
举报该问题
推荐答案 2013-06-16
¬(P∨Q)→R⇔¬(¬(PVQ))∨R⇔(PVQ)VR⇔PVQVR
使该式为真,则P,Q,R中至少有一项为真即可,因此所有成真赋值列举如下
P Q R
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
温馨提示:答案为网友推荐,仅供参考
当前网址:
http://11.wendadaohang.com/zd/22Mq8S7PS.html
相似回答
主析
取
范式
怎么求?
答:
常用的方法有两种,
等值演算法
和真值表法,等值演算法,就是按照步骤推导
公式
,最终得到主合取
范式
或者主析取范式。检查主合取范式中遗漏的4个主项p∨q∨¬r,p∨¬q∨¬r,¬p∨q∨¬r,¬p∨¬q∨r可以反推出它的主析取范式⇔(¬p∧¬...
大家正在搜
离散数学命题逻辑等值演算
离散数学等值演算法
离散数学等价等值式
离散数学命题公式
离散数学24个等值式
离散数学等值式证明
离散数学16个公式
离散数学二元关系的个数
离散数学 命题
相关问题
离散数学,用等值演算法求下列公式的主析取范式 (p→q)^(...
用等值演算法求公式┐(p→q)的主析取范式和主合取范式。
离散数学如何用等值演算法求(p∧q)∨r的主析联范式?
利用等值演算法求命题公式(┐p→q)∧(q∨r)的合取范式
离散数学 用等值演算求(P→Q)→R的主析取范式 (要解答过...
请通过等值演算法求┐(P∧Q)→(P∨Q)的主析取范式。
用真值表法及等值演算法求公式(P→Q)→R 的主析取范式和主...
用等值演算法求P→((P→Q)∧┐(┐Q∨┐P))的主析取范...