化简复杂逻辑,编写紧凑的if条件语句(三):确定最简的if子句顺序

来源:互联网 发布:杭州萤石网络 点评 编辑:程序博客网 时间:2024/03/29 04:32

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

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

第一篇里验证了这四个条件是完整的,没有漏下其他情形。既然已经“不漏”了,这里验证是否“不重”。如立即跳跃的条件满足时,等待跃迁的条件一定不满足;等待跃迁的条件满足时,立即跳跃的条件一定不满足。这是蕴含关系。四个条件需要验证是否两两互斥,需要测试_{4}^{2}\textrm{C}=6次。

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


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




原创粉丝点击