主析取范式和主合取范式的求法!

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/28 13:38:39
主析取范式和主合取范式的求法!

主析取范式和主合取范式的求法!
主析取范式和主合取范式的求法!

主析取范式和主合取范式的求法!
主析取范式 在给定的命题公式中,如果有一个等价公式,它仅由小项的析取所组成,则该等价式称作原式的主析取范式.
主析取范式的惟一性 任意含n个命题变元的非永假命题公式A,其主析取范式是惟一的.
主合取范式的惟一性 任意含n个命题变元的非永真命题公式A,其主合取范式是惟一的.
真值表的主范式求法
(1) (1) 在真值表中,一个公式的真值为T的指派所对应的小项的析取,即为此公式主析取范式.
(2) (2) 在真值表中,一个公式的真值为F的指派所对应的大项的合取,即为此公式主合取范式.
主范式的等值演算法
对于一个给定n个变元的命题公式A,都可通过等值变换,化为惟一的主析取范式或主合取范式.
主范式之间的关系
设命题公式中含有n个命题变元,且A的主析取范式中含有k个小项 ,则A的主合取范式必含有 个大项.
如果命题公式A的主析取范式为: 则A的主合取范式为:
从n个命题变元的公式A的主析取范式,求合取范式的步骤:
(1) (1) 求出A的主析取范式中未包含小项的.
(2) (2) 把(1)中求出的“下标”写成对应大项;
(3) (3) 把(2)中写成的大项合取,即为A的主合取范式.
可以参考
http://www.ezikao.com.cn/bbs_disp_all.asp?id=34725&boardid=52

主析取范式和主合取范式的求法! 求与((X1 -> X2) -> X3) -> X4逻辑等价的主合取范式和主析取范式```? (非P->q)->(非qVp)的主析取范式和主合取范式 求下列公式的主析取范式和主合取范式P∧Q 求命题公式(P∧Q)∨R的主析取范式和主合取范式 求主析取和主合取范式. P→(P∧(Q→P))的主析取范式和主合取范式这个公式是重言式,主合取范式? 离散数学题目求主合取范式和主析取范式求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式 求P→Q∨R的析取范式、主析取范式、主合取范式我求的是:P→Q∨R的析取范式、主析取范式、主合取范式, 求公式(Q→P)∧(┓P∧Q)的主析取范式和主合取范式 离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急 ((p∨q) ∧(p→q)) ↔(q→p) 的主析取范式和主合取范式 ┓(P→Q)的主析取范式是什么,主合取范式是什么为什么这个也是析取范式? 离散数学,主析取范式与主合取范式.谢谢了.求┐(P∧Q)→R的主析取范式与主合取范式. P→Q∧R的合取范式和主析取范式? 求离散数学(P→ Q)→ R主合取范式和主析取范式 离散 重言式都有主析取范式和主合取范式吗? 离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p->q)^(q->r)求下列公式的主和取范式,再用主和取范式求主析取范式?1、(p^q)->q2、(p->q)->r3、┐(r-