原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
素数 = 质数，合数有因子
和 或 假必真 同为真
(p →q) ∧(q ←→ r) ，(p ∧q) ∧┐ r ，p ∧(q ∧┐ r) 等都是合式公式，而 pq→ r ，（p→ (r →q) 等不是合式公式。
若公式 A 是单个的命题变项，则称 A 为 0 层合式
( ┐ p∧q) → r ，( ┐ (p →┐ q)) ∧((r ∨s) ┐ p) 分别为 3 层和 4 层公式
【例】求下列公式的真值表，并求成真赋值和成假赋值。 ( ┐ p ∧q) →┐ r
公式 (1) 的成假赋值为 011 ，其余 7 个赋值都是成真赋值
第一章， 命题逻辑等值演算
（1）双重否定律 A A
（2 ）等幂律 A ∧A A ； A ∨A A
（3）交换律 A ∧B B∧A ； A ∨B B∨A
（4 ）结合律 （A∧B）∧ C A∧（ B∧C） ； （A∨B）∨ C A∨（ B∨C）
（5）分配律 （A∧B）∨ C （A∨C）∧（ B∨C） ； （A∨ B）∧C （A∧C）∨（ B∧C）
（6）德·摩根律 （A∨B） A∧ B ； （A∧B） A∨ B
（7）吸收律 A ∨（ A∧B） A；A∧（ A∨B） A
（8）零一律 A ∨ 1 1 ； A ∧0 0
（9）同一律 A ∨0 A ； A ∧1 A
（10）排中律 A ∨ A 1
（11）矛盾律 A ∧ A 0
（12）蕴涵等值式 A → B A∨B
（13）假言易位 A → B B→ A
（14）等价等值式 A B （A→ B）∧（ B→A）
（15）等价否定等值式 A B A B B A
（16）归缪式 （A→ B）∧（ A→ B） A
A (i=1,2, …,s) 为简单合取式，则 A=A ∨A ∨…∨ A 为析取范式 (p ∧┐ q) ∨( ┐ q ∧┐ r) ∨ p
i 1 2 s
1 2 s
A=A ∧A ∧…∧ A 为合取范式 (p ∨q ∨r) ∧ (┐ p ∨┐ q) ∧r
一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式
一个合取范式是重言式当且仅当它的每个简单析取式都是重言式
主范式 【∧小真，∨大假】
∧ 成真 小写
【例】 (p →q) →( ┐ q→┐ p)
= ┐ ( ┐ p ∨q) ∨(q ∨┐ p) ( 消去→ )
= (p ∧┐ q) ∨┐ p ∨q ( ┐内移 ) ( 已为析取范式 )
= (p ∧┐ q) ∨( ┐ p ∧┐q) ∨( ┐ p∧q) ∨( ┐ p∧q) ∨ (p ∧q) （* ）
= m2 ∨m0∨m1∨m1∨m3
= m0 ∨m1∨m2∨m3 ( 幂等律、排序 )
(*) 由┐ p 及 q 派生的极小项的过程如下：
┐ p = ┐ p∧( ┐q ∨q)
= ( ┐ p ∧┐q) ∨( ┐ p∧q)
q = ( ┐ p ∨p) ∧q
= ( ┐ p ∧q) ∨(p ∧q)
熟练之后，以上过程可不写在演算过程中。
该公式中含 n=2 个命题变项，它的主析取范式中含了 22=4 个极小项，故它为重言式，
00 ，01 ， 10，11 全为成真赋值。
【例】(p
文档评论（0）