你写这样的代码，不怕同事打你嘛？

假设看到了这样的写样代码：

if (a && d || b && c && !d || (!a || !b) && c) {    console.log(pass) } else {    console.log(fail) } 

你是否一口老血喷在屏幕上?

当然，这段代码是怕同我参考一个掘金沸点(@隔壁村的李二狗)伪造的，但愿你和你的事打同事都别这么写。

能写出这种与或非，写样如果不是怕同逻辑不清，那么估计只有一种可能，事打需求变更很多次，写样多人修改后的怕同结果。。事打

现在的写样问题是，面对如此代码，怕同这么复杂的事打逻辑，能否优化?写样

答案是肯定的!

这种问题的探究来自于一门数学：布尔代数或逻辑代数。云服务器

说到布尔，怕同我们开发者对此太熟悉了。事打不就是 true 和 false 嘛。

布尔代数这门课，大学里应该或多或少都讲些吧。因为我是数学专业毕业的，看到这种问题必须记录一下，也顺便复习一下。

为了方便表达，JS 中的与或非，我用布尔代数里面的表示方法：

因此 a && d || b && c && !d || (!a || !b) && c 可以表达为：

转化后优先级清晰多了。

现在的问题是，我们如何化简这个逻辑表达式。

还好有一些常用结论可供我们使用：

前四个公式很好理解。比如，自己或上自己否，当然为 true。

关键在于第 5 个公式没那么直观，可以通过画图简单说明下(其他公式都可以类似推导)。香港云服务器

首先看部分，如图中绿色区域：

再看，如图中绿色区域：

则二者之和为：

而部分正是图中粉色区域：

因为粉色区域原本就在前二者之和里面，因此加多少次都是一样的。

注意最后这个公式核心特点：和是以和出现的。

有了这几个公式作为铺垫，我们就可以正式推导了(原沸点配图中有)：

根据第 4 条，替换最后一项：

注意到前两项分别有和，符合第 5 条：

此时最后两项，符合第 2 条：

最后两项，其中一项为，另外一项也包含，满足第 3 条：

至此化简完了。真是不可以思议，B 没了!

此时开篇的代码简化成了这样：

if (a && d || c) {    console.log(pass) } else {    console.log(fail) } 

真清爽。

感谢你看到这里，希望有所帮助。