命题逻辑公式的化简

《命题逻辑公式的化简》由会员分享，可在线阅读，更多相关《命题逻辑公式的化简（9页珍藏版）》请在金锄头文库上搜索。

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,命题公式的化简,2. 吸收法 利用公式A(AB)A，消去多余的变元。 例如： (pq)(pqrs(tu) pq p(qpr) p,命题公式的化简,有时可用AA1引入变元 (pq)(qr)(prs) (pq)(qr)(prs)(qq) (pq)(qr)(pqrs) (pqrs)

2、 (pq)(qr),命题公式的化简,3. 主析取范式法用AAA (AB)(AB) 1等 s (pq)(pq)(pq)(pq)(pq)(pq)(pq)qp 可用卡诺图化简,卡诺图,卡诺图, 如果相邻的两个小方格同时为“1”，可以合并一个两格组（用圈圈起来），合并后可以消去一个取值互补的变量，留下的是取值不变的变量。 如果相邻的四个小方格同时为“1”，可以合并一个四格组，合并后可以消去二个取值互补的变量，留下的是取值不变的变量。 如果相邻的八个小方格同时为“1”，可以合并一个八格组，合并后可以消去三个取值互补的变量，留下的是取值不变的变量。,卡诺图,画圈的原则是： 圈的个数要尽可能的少（因一个圈代表一个乘积项） 圈要尽可能的大（因圈越大可消去的变量越多，相应的乘积项就越简）。 每画一个圈至少包括一个新的“1”格，否则是多余的，所有的“1”都要被圈到。,