你好,首先,可以知道运算的真值为:trueval=0.000023371258+33.678429+(-33.. 你的问题的真正意义是不是要问如何设计一个数据稳定且精度高的算法,使计算结果能.

(q∧(p∨t))→((p∧s)→q) ⇔ ¬(q∧(p∨t))∨((p∧s)→q) 变成 合取析取 ⇔ ¬q∨¬(p∨t) ∨((p∧s)→q) 德摩根定律 ⇔ ¬q∨¬(p∨t) ∨(¬(p∧s)∨q) 变成 合取析取 ⇔ ¬p∨¬(p∨t) ∨¬(p∧s)∨q 结合律 ⇔ ¬p∨¬(p∧s)∨q 吸收律 ⇔ ¬(p∧s)∨q 吸收律 是可满足式.

解此类问题的步骤应为: ① 将简单命题符号化 ② 写出各复合命题 ③ 写出由各复合. ∨(┐r∧┐s)) ∧(u→(p∧q)) ④ 求a的析取范式(用等值演算法),简要过程如下: a(.

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)∨(┐┐q∧┐p))∨(┐p∧┐q) ((p∧.

通过等值运算 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) m4∧m5∧m7 (主合取范式) m0∨m1∨m2∨m3∨m6 (主析取范式) 由此可得成假赋值为100,101,111,成真赋值为000,001,010,011,110.

把蕴含式写成~pvq的形式然后按真值表或等值演算推导

如下图所示,点击放大.其中用到的等值式在书上都有,若有疑问,请追问.

1)p p∧(q∨¬q) (p∧q)∨(p∧¬q) 3)¬(p↔q) ¬((p→q)∧(q→p)) (¬(p→q)∨¬(q→p)) (¬(¬p∨q)∨¬(¬q∨p)) ((p∧¬q)∨(q∧¬p)) (p∨(q∧¬p))∧(¬q∨(q∧¬p)) ((p∨q)∧(p∨¬p))∧((¬q∨q)∧) (p∨q)∧1∧1∧(¬q∨¬p) (p∨q)∧¬(q∧p)

~(p->q) <=> ~(~pvq) <=> p^~q <=> (pv0)^(0v~q) <=> (pv(q^~q))^((p^~p)v~q) <=> (pvq)^(pv~q)^(pv~q)^(~pv~q) <=> (pvq)^(pv~q)^(~pv~q)

(┐p→q)→(q→┐p) ┐(p∨q)∨(┐q∨┐p) (┐p∧┐q)∨(┐q∨┐p) (┐p∨(┐q∨┐p))∧(┐q∨(┐q∨┐p)) (┐p∨┐q)∧(┐q∨┐p) ┐p∨┐q 为非重言可满足式.