【离散数学】实验 一个简单的自动逻辑推理问题

一个公安人员审查一件盗窃案，已知的事实如下：
（1） A或B盗窃了x;
（2） 若A盗窃了x，则作案时间不能发生在午夜前；
（3） 若B证词正确，则在午夜时屋里灯光未灭；
（4） 若B证词不正确，则作案时间发生在午夜前；
（5） 午夜时屋里灯光灭了；
求解谁是盗贼，并打印输出。
要求封装逻辑表达式函数（析取、合取）。

下面给出了两种大致相同的代码实现（Java）：
个人感觉第二个更好一点点。

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

总结

以上是生活随笔为你收集整理的【离散数学】实验 一个简单的自动逻辑推理问题的全部内容，希望文章能够帮你解决所遇到的问题。

如果觉得生活随笔网站内容还不错，欢迎将生活随笔推荐给好友。