命题逻辑公式的化简
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
②圈要尽可能的大（因圈越大可消去 的变量越多，相应的乘积项就越简）。
③每画一个圈至ห้องสมุดไป่ตู้包括一个新的“1” 格，否则是多余的，所有的“1”都要 被圈到。
命题逻辑公式的化简
命题公式的化简
1. 并项法 利用公式AA1或(AB)(AB) A将两项合并，并消去一个变元。
例如：
(pqr)(pqr) (pq)(rr) (pq) (pqr)(p(qr)) p
命题公式的化简
利用公式A(AB) AB (pq)(pr)(qr)
(pq)((pq)r) (pq)((pq)r) (pq)r
命题公式的化简
3. 主析取范式法
用AAA (AB)(AB) 1等
s (pq)(pq)(pq) ((pq)(pq))((pq)(pq)) qp
可用卡诺图化简
卡诺图
卡诺图
① 如果相邻的两个小方格同时为“1”，可以合 并一个两格组（用圈圈起来），合并后可以消 去一个取值互补的变量，留下的是取值不变的 变量。
命题公式的化简
2. 吸收法 利用公式A(AB)A，消去多余的变元。 例如： (pq)(pqrs(tu)) pq p(qpr) p
命题公式的化简
有时可用AA1引入变元 (pq)(qr)(prs) (pq)(qr)((prs)(qq)) (pq)(qr)(pqrs)
(pqrs) (pq)(qr)
② 如果相邻的四个小方格同时为“1”，可以 合并一个四格组，合并后可以消去二个取值互 补的变量，留下的是取值不变的变量。
③ 如果相邻的八个小方格同时为“1”，可以合 并一个八格组，合并后可以消去三个取值互补 的变量，留下的是取值不变的变量。
卡诺图
画圈的原则是：
①圈的个数要尽可能的少（因一个圈 代表一个乘积项）
③每画一个圈至ห้องสมุดไป่ตู้包括一个新的“1” 格，否则是多余的，所有的“1”都要 被圈到。
命题逻辑公式的化简
命题公式的化简
1. 并项法 利用公式AA1或(AB)(AB) A将两项合并，并消去一个变元。
例如：
(pqr)(pqr) (pq)(rr) (pq) (pqr)(p(qr)) p
命题公式的化简
利用公式A(AB) AB (pq)(pr)(qr)
(pq)((pq)r) (pq)((pq)r) (pq)r
命题公式的化简
3. 主析取范式法
用AAA (AB)(AB) 1等
s (pq)(pq)(pq) ((pq)(pq))((pq)(pq)) qp
可用卡诺图化简
卡诺图
卡诺图
① 如果相邻的两个小方格同时为“1”，可以合 并一个两格组（用圈圈起来），合并后可以消 去一个取值互补的变量，留下的是取值不变的 变量。
命题公式的化简
2. 吸收法 利用公式A(AB)A，消去多余的变元。 例如： (pq)(pqrs(tu)) pq p(qpr) p
命题公式的化简
有时可用AA1引入变元 (pq)(qr)(prs) (pq)(qr)((prs)(qq)) (pq)(qr)(pqrs)
(pqrs) (pq)(qr)
② 如果相邻的四个小方格同时为“1”，可以 合并一个四格组，合并后可以消去二个取值互 补的变量，留下的是取值不变的变量。
③ 如果相邻的八个小方格同时为“1”，可以合 并一个八格组，合并后可以消去三个取值互补 的变量，留下的是取值不变的变量。
卡诺图
画圈的原则是：
①圈的个数要尽可能的少（因一个圈 代表一个乘积项）