《化简复杂逻辑,编写紧凑的if条件语句(二):依据if子句顺序化简条件》已经按照跳等飞异的顺序化简了逻辑条件。这一篇来讨论怎样的情况顺序可以产生最简的if子句。方便起见这里重新贴一下跳、等、飞、异常的各自条件。
- 立即跃迁:!a && b && d
- 等待跃迁:!a && b && !d
- 飞往星区:!b && c || a && c
- 抛出异常:a && !c || !b && !c
第一篇里验证了这四个条件是完整的,没有漏下其他情形。既然已经“不漏”了,这里验证是否“不重”。如立即跳跃的条件满足时,等待跃迁的条件一定不满足;等待跃迁的条件满足时,立即跳跃的条件一定不满足。这是蕴含关系。四个条件需要验证是否两两互斥,需要测试次。
还是借助Mathematica来证明。Mathematica里似乎没有现成的逻辑互斥函数,所以我先定义一个。
可见四个条件确实是互斥的。既然是互斥的,那么条件的先后就不会对执行结果有影响。