p∧┐p 的主析取范式是多少,p∨┐p 的主合取范式是多少离散数学-命题逻辑

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/04 04:03:33
p∧┐p 的主析取范式是多少,p∨┐p 的主合取范式是多少离散数学-命题逻辑

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)的主析取范式,主合取范式.急用,麻烦大家了,急用啊