離散數(shù)學命題邏輯等值演算.ppt
《離散數(shù)學命題邏輯等值演算.ppt》由會員分享，可在線閱讀，更多相關《離散數(shù)學命題邏輯等值演算.ppt（36頁珍藏版）》請在裝配圖網(wǎng)上搜索。
1,第二章命題邏輯等值演算,2,第一節(jié)等值式,一、等值式與基本的等值式,3,2、基本的等值式,4,5,二、等值演算與置換規(guī)則,6,三、等值演算的應用舉例（以后章節(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)結詞的完備集,30,第二章習題課,31,32,33,34,35,36,
- 配套講稿：
如PPT文件的首頁顯示word圖標，表示該PPT已包含配套word講稿。雙擊word圖標可打開word文檔。
- 特殊限制：
部分文檔作品中含有的國旗、國徽等圖片，僅作為作品整體效果示例展示，禁止商用。設計者僅對作品中獨創(chuàng)性部分享有著作權。
- 關 鍵 詞：
- 離散數(shù)學 命題邏輯 等值 演算
裝配圖網(wǎng)所有資源均是用戶自行上傳分享，僅供網(wǎng)友學習交流，未經(jīng)上傳用戶書面授權，請勿作他用。
鏈接地址：http://m.italysoccerbets.com/p-3494796.html