離散數學實驗報告三——真值表與主範式

離散數學實驗報告三——真值表與主範式 一、預習內容： 1、真值表：把變量的各種可能取值與想對應的函數值，用表格的形式一一列舉出來，這種表格就叫做真值表 2、命題公式的析（合）取範式 ⑴文字：命題變元及其否定統稱爲文字 ⑵簡單析取式：僅有限個文字組成的析取式 ⑶簡單合取式：僅有限個文字組成的合取式 3、從定義可得 ⑴一個簡單析取式是重言式當且僅當它同時含有某個命題變元及其否定式。 ⑵一個簡單合取式是

>>阅读原文<<