实验

$A$ 作案，记为事件 $A$；$B$ 作案，记为事件 $B$；时间在午夜前，记为事件 $M$；午夜时灯光亮着，记为事件 $L$

条件：$A\vee B, \space A \rightarrow \neg M, \space \neg B \rightarrow L, \space B\rightarrow M, \space \neg L$

结论：$A$

复合命题：$A \wedge (A\vee B)\wedge( \space A \rightarrow \neg M)\wedge( \space \neg B \rightarrow L)\wedge( \space B\rightarrow M)\wedge \space \neg L$

如果提交一个 word 一个 pdf，要保证是同一个版本的（但是可能说排版不同）

交实验报告

不能交 pdf，因为要老师输入成绩等信息

做什么怎么做

符号用插入符号

第一天前两个

命题逻辑相关

每个同学都要做都要写一份报告

1. 设计表决器电路

   熟悉什么语言用什么语言，不限语言

   化成析取合取

   表决器定义成一个函数

   输入八组值，看看和真值表是否相同

化简过程不要用照片，化简的过程、推理的过程用 word 的插入符号

拷贝关键代码复制过来，然后加上文字的阐释说明

输入输出，截图保存

第二次实验十四周

实验报告

每个同学一份

两次的实验报告一起交，不用单独交

实验目的：就按指导书

（三四五要自己完成）

实验步骤

实验总结是针对什么问题采用什么方法，什么结果

文字阐述要有