離散數(shù)學(xué)命題邏輯等值演算.ppt
《離散數(shù)學(xué)命題邏輯等值演算.ppt》由會(huì)員分享，可在線閱讀，更多相關(guān)《離散數(shù)學(xué)命題邏輯等值演算.ppt（36頁(yè)珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。
1,第二章命題邏輯等值演算,2,第一節(jié)等值式,一、等值式與基本的等值式,3,2、基本的等值式,4,5,二、等值演算與置換規(guī)則,6,三、等值演算的應(yīng)用舉例（以后章節(jié)待續(xù)）,1．證明兩個(gè)公式等值,7,8,9,2.判斷公式類型,10,11,3．解判定問題：見書上例2.6,12,第二節(jié)析取范式與合取范式,一、析取范式與合取范式,13,14,15,16,17,二、主析取范式與主合取范式,18,19,20,21,2.主析取范式與主合取范式,22,3.命題公式A的主析取范式與主合取范式,23,4.用等值演算法求公式的主范式的步驟：,24,25,26,3.主范式的用途——與真值表相同.,27,28,29,二、聯(lián)結(jié)詞的完備集,30,第二章習(xí)題課,31,32,33,34,35,36,下載提示(請(qǐng)認(rèn)真閱讀)
- 1.請(qǐng)仔細(xì)閱讀文檔，確保文檔完整性，對(duì)于不預(yù)覽、不比對(duì)內(nèi)容而直接下載帶來(lái)的問題本站不予受理。
- 2.下載的文檔，不會(huì)出現(xiàn)我們的網(wǎng)址水印。
- 3、該文檔所得收入（下載+內(nèi)容+預(yù)覽）歸上傳者、原創(chuàng)作者；如果您是本文檔原作者，請(qǐng)點(diǎn)此認(rèn)領(lǐng)！既往收益都?xì)w您。
文檔包含非法信息？點(diǎn)此舉報(bào)后獲取現(xiàn)金獎(jiǎng)勵(lì)！
下載文檔到電腦，查找使用更方便
9.9 積分
| 下載 |
還剩頁(yè)未讀，繼續(xù)閱讀
- 配套講稿：
如PPT文件的首頁(yè)顯示word圖標(biāo)，表示該P(yáng)PT已包含配套word講稿。雙擊word圖標(biāo)可打開word文檔。
- 特殊限制：
部分文檔作品中含有的國(guó)旗、國(guó)徽等圖片，僅作為作品整體效果示例展示，禁止商用。設(shè)計(jì)者僅對(duì)作品中獨(dú)創(chuàng)性部分享有著作權(quán)。
- 關(guān) 鍵 詞：
- 離散數(shù)學(xué) 命題邏輯 等值 演算
裝配圖網(wǎng)所有資源均是用戶自行上傳分享，僅供網(wǎng)友學(xué)習(xí)交流，未經(jīng)上傳用戶書面授權(quán)，請(qǐng)勿作他用。
相關(guān)資源
更多
正為您匹配相似的精品文檔
相關(guān)搜索
鏈接地址：http://www.820124.com/p-3494796.html