化简复杂逻辑，编写紧凑的if条件语句（三）：确定最简的if子句顺序

《化简复杂逻辑，编写紧凑的if条件语句（二）：依据if子句顺序化简条件》已经按照跳等飞异的顺序化简了逻辑条件。这一篇来讨论怎样的情况顺序可以产生最简的if子句。方便起见这里重新贴一下跳、等、飞、异常的各自条件。

• 立即跃迁：!a && b && d
• 等待跃迁：!a && b && !d
• 飞往星区：!b && c || a && c
• 抛出异常：a && !c || !b && !c

第一篇里验证了这四个条件是完整的，没有漏下其他情形。既然已经“不漏”了，这里验证是否“不重”。如立即跳跃的条件满足时，等待跃迁的条件一定不满足；等待跃迁的条件满足时，立即跳跃的条件一定不满足。这是蕴含关系。四个条件需要验证是否两两互斥，需要测试次。

还是借助Mathematica来证明。Mathematica里似乎没有现成的逻辑互斥函数，所以我先定义一个。

可见四个条件确实是互斥的。既然是互斥的，那么条件的先后就不会对执行结果有影响。