離散數(shù)學(xué)命題邏輯等值演算.ppt
《離散數(shù)學(xué)命題邏輯等值演算.ppt》由會員分享,可在線閱讀,更多相關(guān)《離散數(shù)學(xué)命題邏輯等值演算.ppt(36頁珍藏版)》請在裝配圖網(wǎng)上搜索。
1,第二章命題邏輯等值演算,2,第一節(jié)等值式,一、等值式與基本的等值式,3,2、基本的等值式,4,5,二、等值演算與置換規(guī)則,6,三、等值演算的應(yīng)用舉例(以后章節(jié)待續(xù)),1.證明兩個公式等值,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,- 1.請仔細閱讀文檔,確保文檔完整性,對于不預(yù)覽、不比對內(nèi)容而直接下載帶來的問題本站不予受理。
- 2.下載的文檔,不會出現(xiàn)我們的網(wǎng)址水印。
- 3、該文檔所得收入(下載+內(nèi)容+預(yù)覽)歸上傳者、原創(chuàng)作者;如果您是本文檔原作者,請點此認領(lǐng)!既往收益都歸您。
下載文檔到電腦,查找使用更方便
9.9 積分
下載 |
- 配套講稿:
如PPT文件的首頁顯示word圖標(biāo),表示該PPT已包含配套word講稿。雙擊word圖標(biāo)可打開word文檔。
- 特殊限制:
部分文檔作品中含有的國旗、國徽等圖片,僅作為作品整體效果示例展示,禁止商用。設(shè)計者僅對作品中獨創(chuàng)性部分享有著作權(quán)。
- 關(guān) 鍵 詞:
- 離散數(shù)學(xué) 命題邏輯 等值 演算
鏈接地址:http://m.jqnhouse.com/p-3494796.html