设 ：
- A = 甲是凶手 这个是题中1的 如果甲不是凶手 我们假设A条件是甲是凶手，取反就可是甲不是凶手，
- B = 乙是凶手 这个是题中1的 如果乙或者是凶手 我们假设B条件乙是凶手
- C = 乙是知情人 这个是题中1的 或者是知情人 我们假设C条件乙是知情人
- D = 乙身体强壮 这个是题中2的 题中2只有乙身强体壮
- E = 乙进入过现场 这个是题中2 和3 都有的
综上 ： 我们可以通过对以上假设，包括了五个条件中所有的条件 ，比如说甲不是凶手，我们对A取反（A上面一个上划线）即可
首先条件5确定乙身体瘦弱（已确定） ： 对D取反 D是身体强壮，非D恒成立
这里列出的 （1）（2）（3）（4）（5）都是题中给出的，我们通过公式描述
举个例子 ：（1）如果甲不是凶手 ，则乙或者是凶手，或者是知情人
我们用公司描述就是
非A（A我们假设是凶手）推出 B 并 C（并集是开口往上，交集是开口往下 ）也就是乙或者是凶手，或者是知情人，并集就是他可以是知情人，可以是凶手，或者俩者都是，不过凶手肯定是知情人…我干的我还不知道嘛
我们继续推 ：
（5）乙身体瘦弱，带入（2）只有乙身体强壮，他才能进入作案现场
乙瘦弱，我们推出乙进不去作案现场，所以推出E取反
乙进不去作案现场，我们从(3) 乙是凶手，一定可以进去作案现场，但现在乙进不去，我们推出，乙不是凶手，所以 推出B取反 （这我猜想就是老师说的公式吧 比如说 B -> E 就有 B取反 -> E取反）（B - > E 如果E取反就能推出 B取反）
同样的，4.只有乙进入作案现场，他才是知情人 ，由于之前我们推出乙没有进入现场（非E）可以推出，乙不是知情人
最后我们推出 乙既不是知情人也不是凶手 非C 非B，那么甲就是凶手
1.甲不是凶手能推出乙是凶手，或者是知情人
那么对A取反（甲不是凶手）推出 B并C
那我们再对A取反一次，就是甲是凶手，同时对左右俩边都进行取反
这一块就是公式的，对（B并C）一起取反 相当于 （B取反）交（C取反）
交集就是俩个都要成立 ，并集就是俩个某一个成立就行，对并集取反就是都要成立
我们题中非A（甲不是凶手）成立可以推出 B（乙是凶手）或C（乙是知情人）成立 那么 B（乙不是凶手）和C（乙不是知情人）都不成立 就可以推出非A（甲不是凶手）不成立
综上 ：推出甲是凶手
