一个公安人员审查一件盗窃案，已知的事实如下： （1） A或B盗窃了x; （2） 若A盗窃了x，则作案时间不能发生在午夜前； （3） 若B证词正确，则在午夜时屋里灯光未灭； （4） 若B证词不正确，则作案时间发生在午夜前； （5） 午夜时屋里灯光灭了； 求解谁是盗贼，并打印输出。 要求封装逻辑表达式函数（析取、合取）。
下面给出了两种大致相同的代码实现（Java）： 个人感觉第二个更好一点点。
public class Reasoning {
//int转boolean
public static boolean changeType(int va
