p∧┐p 的主析取范式是多少,p∨┐p 的主合取范式是多少离散数学-命题逻辑
来源:学生作业帮助网 编辑:作业帮 时间:2024/11/08 06:00:59
p∧┐p 的主析取范式是多少,p∨┐p 的主合取范式是多少离散数学-命题逻辑
p∧┐p 的主析取范式是多少,p∨┐p 的主合取范式是多少
离散数学-命题逻辑
p∧┐p 的主析取范式是多少,p∨┐p 的主合取范式是多少离散数学-命题逻辑
这两个公式确实挺特殊的.相信你也知道【p∧┐p】和【p∨┐p】分别属于矛盾式和重言式.其实,同类的公式又岂止这两个,再举个例子:
矛盾式:【(p∨q)∧(p∨┐q)∧(┐p∨q)∧(┐p∨┐q)】;
重言式:【(p∧q)∨(p∧┐q)∨(┐p∧q)∨(┐p∧┐q)】;
显然,我这个例子与你的很相似,
它们分别是:【全部大项的合取】和【全部小项的析取】;
它们分别是一类(形式)特殊的矛盾式和重言式;
它们本身都是主范式,只不过恰好不是你要的那种;而分别是【主合取范式】和【主析取范式】
矛盾式和重言式的真值表,分别为全F和全T.而我们又知道,两种【主范式】的一个等价定义就是:
【主析取范式】=真值表中,所有真值为T的指派对应的小项,的析取;
【主合取范式】=真值表中,所有真值为F的指派对应的大项,的合取;
由此可见:
【矛盾式】的【主析取范式】,和【重言式】的【主合取范式】,都是【空范式】;
所以:
为了区分,也为了标记这两个主范式,很多书上都规定:
【矛盾式】的【主析取范式】=0;
【重言式】的【主合取范式】=1;
这就是你的问题的答案了.
p∧┐p 的主析取范式是多少,p∨┐p 的主合取范式是多少离散数学-命题逻辑
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
急求!┐(P∧Q)→(P∨Q) 主析取范式 详细的!
离散数学题目求主合取范式和主析取范式求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式
┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,
((p∨q) ∧(p→q)) ↔(q→p) 的主析取范式和主合取范式
【离散数学】析取范式和合取范式怎么转化?(P∧Q)∨(┐P∧Q)∨(┐Q∧P) 怎么转成合取范式呢?
离散数学,主析取范式与主合取范式.谢谢了.求┐(P∧Q)→R的主析取范式与主合取范式.
求下列公式的主析取和主合取范式,(p∧┐q)∨(q∧r)
求命题公式(P∧Q)∨R的主析取范式和主合取范式
离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p->q)^(q->r)求下列公式的主和取范式,再用主和取范式求主析取范式?1、(p^q)->q2、(p->q)->r3、┐(r-
已知主析取范式为(p∧q)V(┐p∧q)V(p∧┐q) 该怎么求主合取范式?
P→((Q→P)∧(┐P∧Q))主析取范式和主合取范式PV(Q∧R)→(P∧Q∧R)主析取范式
P→(P∧(Q→P))的主析取范式和主合取范式这个公式是重言式,主合取范式?
设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式
为什么┐p∨q可以看成合取范式?
求公式(Q→P)∧(┓P∧Q)的主析取范式和主合取范式
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,麻烦大家了,急用啊