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

下面給出了兩種大致相同的代碼實(shí)現(xiàn)（Java）：
個(gè)人感覺第二個(gè)更好一點(diǎn)點(diǎn)。

public class Reasoning {//int轉(zhuǎn)booleanpublic static boolean changeType(int va

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。