作业帮用等值演算求命题公式(p-q)^(p-r)的析取范式及合取范式,并判断该公式类型
来源：学生作业帮助网 编辑：作业帮 时间：2024/05/14 17:11:14
8）((p↔q)→┐(p∨q)((p→q)∧(q→p))→┐(p∨q)┐((┐p∨q)∧(┐q∨p))∨┐(p∨q)(┐(┐p∨q)∨┐(┐q∨p))∨(┐p∧┐q)((┐┐p∧┐q)∨(
看结果为1的所有小项析取,或者结果为0的所有大项合取你的例题中如果F代表的是结果的话,命题公式为：p∧﹁q或者(p∨q)∧(p∨﹁q)∧(﹁p∨﹁q)
用≡代替＜＝＞.用∟表示“否定”((p∨q)→r)→p≡∟（（p∨q）→r）∨p≡∟（∟（p∨q）∨r）∨p≡（（p∨q）∧∟r）∨p≡（p∧∟r）∨（q∧∟r）∨p≡（p∧q∧∟r）∨（p∧∟q∧∟
(p∨(q∧r))→(p∧q∧r)﹁(p∨(q∧r))∨(p∧q∧r)(﹁p∧﹁(q∧r))∨(p∧q∧r)(﹁p∧(﹁q∨﹁r))∨(p∧q∧r)(﹁p∧﹁q)∨(﹁p∧﹁r)∨(p∧q∧r)((﹁
先算主析取范式：(p∨(q∧r))→(p∧q∧r)﹁(p∨(q∧r))∨(p∧q∧r)(﹁p∧﹁(q∧r))∨(p∧q∧r)(﹁p∧(﹁q∨﹁r))∨(p∧q∧r)(﹁p∧﹁q)∨(﹁p∧﹁r)∨(p
PQRPVQRVQ(P∨Q)→(R∨Q)000001001011010111011111100100101111110111111111没弄对其,应该能看懂吧~然后主析取范式为（-P∧-Q∧-R）V(
如下图所示,点击放大.其中用到的等值式在书上都有,若有疑问,请追问.
楼主,这个等值演算应该不成立,比如p=0,q=1,r=0时前面为假,后面为真.下面我给你它的等值演算吧!p—>q—>r经过演算得m1@m3@m4@m5@m7@代表是离散数学的吸取或张开符号.而(p—>
就是四种命题关系还有简易逻辑很高兴为您解答,【学习宝典】团队为您答题.请点击下面的【选为满意回答】按钮,再问：它的负命题？再答：哦是我看错了对不起
非“主析联范式”而是“主析取范式”.这种例子教科书上有的,翻翻书,用上常用的命题等价式,依样画葫芦即可. (p∧q)∨r (p∨r)∧(q∨r) ((p∨q∨r)∧(p∨﹁q∨r))∧((p∨q
-p∨(q→r)-p∨(-q∨r)-p∨-q∨r-(p∧q)∨r(p∧q)→
（p→q)∧(p→r)=（非p∨q)∧(非p∨r)=非p∨(q∧r)=p→(q∧r)
我们已知：p->q┐pvq左边┐（pq）┐((p->q)^(q->p))┐((┐pvq)^(┐qvp))┐(┐pvq)v┐(┐qvp)(p^┐q)v(q^┐p)右边(pvq)^(┐pv┐q)(p^(┐
p->(q->p)pV(qVp)(p)V(q)VppV(p)V(q)pV(pVq)pV(p->q)p->(p->q)
2、能够对命题公式的类型做出判断,能列出真值表,写出主范式.3、有能力命题的
主析取：m1vm3vm5vm6vm7主合取：M0^M2^M4可以用真值表法或是等值演算法.
(p→q)∧(q→p)(非p∨q)∧(非q∨p)蕴涵等值式(非p∧非q)∨(非p∧p)∨(q∧非q)∨(q∧p)分配律(非p∧非q)∨(p∧q)矛盾律同一律交换律非(p∨q)∨(p∧q)德摩根律(p∨
(P->Q)R((P-->Q)-->R)且(R-->(P-->Q))(非(非P或Q)或R)且(非R或(非P或Q))((P且非Q)或R)且(非R或非P或Q)(P或R)且(非Q或R)且(非R或非P或Q)(
P->(Q->R)百分之百是命题公式!
（（P∧Q）∨(『P∧『Q)∧P）=（P∧Q）∨（（P∧Q）∧P=P(（P∧Q）∨（P∧Q）恒为真)