离散数学知识汇总解析.docxVIP

PAGE PAGE # 离散数学笔记 第一章命题逻辑 合取 析取 定义1.1.3否定：当某个命题为真时，其否定为假，当某个命题为假时，其否定为真 定义1.1.4条件联结词，表示“如果 那么……”形式的语句 定义1.1.5双条件联结词，表示“当且仅当”形式的语句 定义1.2.1合式公式 (1)单个命题变元、命题常元为合式公式，称为原子公式。 (2)若某个字符串 A是合式公式，则 A、(A)也是合式公式。 ⑶若A、B是合式公式，则 A B、A B、A B、A B是合式公式。 (4)有限次使用(2)~(3)形成的字符串均为合式公式。 1.3等值式 (]—> q ?-ip v q C3_1<| (]—> q ?-ip v q C3_1<| > ■ p 条件式的等值式、原命题o逆杳命■ (2)p j f T pQ(p AqlWrp 八rtf) 双条件的等值式 (3加 a^r-ip (4 |p <=> p h p O p M p qvp- paqo qAp (6} p v(q vr} o(p vql v r 双币否定律 幕等律 交换律 结合律 pMq*r) = (p At]) a r (7) p v{q 八广}今p vq>A(p vr) pNqar) o (p 八qhHp/kr) ⑻ p v(p at) op 分配律 吸收津(多吃少) p 八(p Yl") Q p ⑼ Tpxq) o-ip v-iq Tp VQ) A~^Q 德摩律 注意:符号“。”不是一个联结词，它表明两个公苴的值相等"符号是联结词, 表示“当且仅当“充分必要二 一 定理L3J置换规则，当将公式从中的R换成C得到公式口后，若口 oC，那么A o D. 当将一个公式的局部进1」等值替换后，仍与原公式等值.这也是我扪在代数等敬学最常 见的方法.不断对局部进行等值替换的锋作，称为"等值演算: 1.4析取范式与合取范式 定义1.4.1文字:前整变项匚整元)及其否定林为文字n如:p、* J rp、」q、「「 定义］,4.2前单折取式：仅由有限个文字构成的析取式.如于wq、rpvq、八」『「 p 7 f q. p v q v r? 定义1.4.3 Ilf单合取式:仅由有限个文字构成的合取式。如了八q. -1P△q. pn「q.」 p a-?q, p Aq at. 定顼L4」 (1)简单析取式Ai是重#式O同时含有某命题变元及其否定式t如Ai=p Y「p ”.… (2)简单合取式Ai是矛盾式o同时含有某个命题变元及其否定式，如Ai=pA-1P八…. 定义144析取范式；由有限个简单合取式的柝取构成的知题公式「 如；(p 八qh4-1p 九Q). (p 八「q) v(-?p a-(qI vfp/\q/\。* 由析取的性质可知,仅当每个简单合型式为值时.析取范式为假. 范式单只出现r否定卜v(析取卜a(合期)三种符号，其中j八交替出现，国为最外层 的辿党符号是析取,从而将这料整式称为“析取范式二如见最外层的符号是合取则林为“合 服范式二 定义145台取范式工由有限个断单析期式的合取构成的命题公式. 如士 (p vq)A(—? p vqK (P v「q)A_|-ip vr q) a (p v q vr) 内合取的性版可如，仅当每个筒单折取式为真时，合取范式才为宜. 定理142 ⑴析职范式是矛质式"该范式中每个简单行取式是矛盾式, (2)合取范式是重方式。读范式中每力徜单析取式是重言式. 将一个普通公式转换为范式的基本步骤 1、自定耕换7±利用AtH>A*必 将条件式运尊符科换为」、V. 恰”计勺快T;利用 A c B <^|汽—> El t -1A vH)/\g Yf B) 利用 AcB= fAAlMWiAh-iB) 3、看定到底；利用，? A <=> A * —i( A v H | o-? A a.? H —i?Aa 出 o—k A v—i U 4.适当分配：A a( B v C) c5(A aH>v(A aC) A v(B aC) vU)a(A vC> 定理L4.30E式存在定理) (1)不是永葭的命题公式.存在析取范式. (2)不是永直的命胭公式.存在合取范式. PAGE PAGE # 定义144小项：在含有力个变位的简单合取式中.每个命题变元陵其否定仅曲现一次， 且备变元按其字母顿序出现p财谦陶单合取式为小项或极小项. 如：pAqAr, p-iAQAr, pAC|-iAr, -ipAtj^r 是小项.什］-ip 八八 qaj 不是小项? 定义145大项,在含育力个变元的1W单折取式甲，鼻个命题变元或其否定区用现一次. 且各变元技其字母顺序出现,即读简单析取式为大项或极大项. 如］puqvi; Kuqvr-p或口“『.「pyqui1是大项，但 pvr、一?qYr