離散數學--命題邏輯等值演算

目錄 一、等值式 1、基本等值式 2、等值演算與置換規則 3、等值演算的應用舉例 二、析取範式與合取範式 1、基本概念 2、範式的性質 3、極大項與極小項 4、主析取範式與主合取範式 5、求公式主範式的步驟 三、主範式的應用 ①、求公式的成真賦值和成假賦值 ②、判斷公式的類型 ③、判斷兩個公式是否等值 一、等值式 1、基本等值式 2、等值演算與置換規則 3、等值演算的應用舉例 二、析取範式與合取範

>>阅读原文<<