一個公安人員審查一件盜竊案，已知的事實如下：
（1） A或B盜竊了x;
（2） 若A盜竊了x，則作案時間不能發生在午夜前；
（3） 若B證詞正確，則在午夜時屋里燈光未滅；
（4） 若B證詞不正確，則作案時間發生在午夜前；
（5） 午夜時屋里燈光滅了；
求解誰是盜賊，并打印輸出。
要求封裝邏輯表達式函數（析取、合取）。

下面給出了兩種大致相同的代碼實現（Java）：
個人感覺第二個更好一點點。

public class Reasoning {//int轉booleanpublic static boolean changeType(int va

總結

以上是生活随笔為你收集整理的【离散数学】实验 一个简单的自动逻辑推理问题的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。