作业帮 > 综合 > 作业

主析取范式主合取范式成真赋值成假赋值

来源:学生作业帮 编辑:拍题作业网作业帮 分类:综合作业 时间:2024/05/19 20:24:06
主析取范式主合取范式成真赋值成假赋值
(pv(q∧r))→(p∧qVr)求此命题公式的主析取范式,主合取范式,成真赋值,成假赋值.
等值演算步骤的那种
(p∧qVr) 里面少了括号,请添加.
再问: 已查验不缺括号
再答:   (p∧q)Vr 或 p∧(qVr),没括号没意义的。假设是    (pV(q∧r))→(p∧(qVr))    ┐(pv(q∧r))) v (p∧(qVr))    (┐p∧(┐qV┐r)) V (p∧q)V(p∧r)    (┐p∧┐q)V(┐p∧┐r)V(p∧q)V(p∧r)    ((┐p∧┐q∧r)V(┐p∧┐q∧┐r))V((┐p∧q∧┐r)V(┐p∧┐q∧┐r))    V((p∧q∧r)V(p∧q∧┐r))V((p∧q∧r)V(p∧┐q∧r))    (┐p∧┐q∧r)V(┐p∧┐q∧┐r)V(┐p∧q∧┐r)V(p∧q∧r)V(p∧q∧┐r)V(p∧┐q∧r)    (┐p∧┐q∧┐r)V(┐p∧┐q∧r)V(┐p∧q∧┐r)V(p∧┐q∧r)V(p∧q∧┐r)V(p∧q∧r)    m0Vm1Vm2Vm5Vm6Vm7 (主析取范式)    M3 (主合取范式) 有此可知,000, 001, 010, 101, 110, 111 是成真赋值,而011则是成假赋值。
再问: 哎,恕在下愚钝,第四行那里(长的那个)就看不懂了。而且我这智商抄题都抄错了。不知可否麻烦下再做一次。以下是正确的画对勾的那个

再答: (pV(q∧r))→(p∧q∧r)    ┐(pv(q∧r))) v (p∧q∧r)    (┐p∧(┐qV┐r)) V (p∧q∧r)    (┐p∧┐q)V(┐p∧┐r)V(p∧q∧r)    ((┐p∧┐q∧r)V(┐p∧┐q∧┐r))V(p∧q∧r)    (┐p∧┐q∧┐r)V(┐p∧┐q∧r)V(p∧q∧r)    m0Vm1Vm7 (主析取范式)    M2∧M3∧M4∧M5∧M6 (主合取范式) 有此可知,000, 001, 111 是成真赋值,而010, 011, 101, 110, 则是成假赋值。 注:原题更简单,学数学一定要自己动手。要是我,有了前面的解法,自己依样画葫芦也画出来了。不要质疑自己的智商,根源是懒,这是现时学生的通病。
再问: 第五步(倒数第三步)┐p∧┐q∧┐r,为什么是非r上面不是r吗。┐p∧┐q∧r为什么是r上面不是非r吗,求指教
再答: 好像少了项 (pV(q∧r))→(p∧q∧r)    ┐(pv(q∧r))) v (p∧q∧r)    (┐p∧(┐qV┐r)) V (p∧q∧r)    (┐p∧┐q)V(┐p∧┐r)V(p∧q∧r) ((┐p∧┐q∧r)V(┐p∧┐q∧┐r))V((┐p∧q∧┐r)V(┐p∧┐q∧┐r))V(p∧q∧r) (┐p∧┐q∧┐r)V(┐p∧┐q∧r)V(┐p∧q∧┐r)V(p∧q∧r)    m0Vm1Vm2Vm7 (主析取范式)    M3∧M4∧M5∧M6 (主合取范式) 有此可知,000, 001, 010, 111 是成真赋值,而011, 100, 101, 110则是成假赋值。