機器智能（七）

一、複合語句評估： a、若S1->S2爲真T，則S1 T S2 T/S1 F S2 T/S1 F S2 F b、若S1->S2爲假F，則S1 T S2 F 二、怪獸問題：真值表枚舉算法，遞歸實現 三、真值表枚舉算法：2^n的時間複雜度，n的空間複雜度 a、每一個命題的值在真值表中直接指定 b、真值表表示了全部可能的模型 四、邏輯等價： 若是兩個語句在任何模型中同爲真或者同爲假，則邏輯等價，任何兩個

>>阅读原文<<