離散數學——邏輯推理系統

邏輯判斷-推理系統 邏輯判斷系統 設計概要： 根據聯結詞的優先級：￢∧∨→↔ 輸入中綴邏輯式 將之轉化爲後綴表達式 得到公式模板（後綴式）和變量名集合 構造<變量名,bool>的映射關係 根據後綴式和 構造好的<變量-bool> 映射 可計算其真值 類實現： C++：（初次實現，無圖形界面） class Logic { public: 方法： Logic();                   

>>阅读原文<<