我喜欢纵横驰骋的感觉，所以我相信我的生命会精彩不断！每个人都在努力为自己的梦想而奋斗。冷静的去面对生活里的一切，别让自己再迷路了,朝着梦想的方向走去.......... 

每时每刻都在努力地为着GSM而奋斗！（GuangHua School of Management）---我的梦想圣殿！

                                                                                                                                -- 静

2008-6-20 18:03:00

命题逻辑基础

定义： 若A无成假赋值，则称A为重言式或永真式； 若A无成真赋值，则称A为矛盾式或永假式； 若A至少有一个成真赋值，则称A为可满足的； 析取范式：仅由有限个简单合取式组成的析取式。 合取范式：仅由有限个简单析取式组成的合取式。       基本等值式24个 交换律：p∨q <=> q ∨p ；          p Λ q <=> q Λp   结合律： (p∨q) ∨ r<=> p∨(q ∨r);                    (p Λ q) Λ r<=> p Λ(q Λ r)   分配律： p∨(q Λ r) <=> (p∨q)Λ(p ∨r) ；            p Λ(q ∨ r) <=> (p Λ q) ∨(p Λ r)   摩根律： ～ (p∨q) <=> ～ p Λ ～ q ；           ～ (p Λq) <=> ～ p ∨ ～ q   吸收律:：p∨(pΛq ) <=> p ；         p Λ(p∨q ) <=> p   同一律：p∨0 <=> p ；           pΛ1 <=> p   蕴含等值式：p → q <=> ～ p∨q   假言易位式： p → q <=> ～ p → ～ q

by kayta 阅读全文 | 回复(0) | 引用通告 | 编辑

 8字境界：专 静 谦 筹 悟 慎 透 恒..