假設看到了這樣的代碼：

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

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

[[315566]]

當然，這段代碼是我參考一個掘金沸點(@隔壁村的李二狗)偽造的，但愿你和你的同事都別這么寫。

能寫出這種與或非，如果不是邏輯不清，那么估計只有一種可能，需求變更很多次，多人修改后的結果。。

現(xiàn)在的問題是，面對如此代碼，這么復雜的邏輯，能否優(yōu)化?

答案是肯定的!

這種問題的探究來自于一門數(shù)學：布爾代數(shù)或邏輯代數(shù)。

說到布爾，我們開發(fā)者對此太熟悉了。不就是 true 和 false 嘛。

布爾代數(shù)這門課，大學里應該或多或少都講些吧。因為我是數(shù)學專業(yè)畢業(yè)的，看到這種問題必須記錄一下，也順便復習一下。

為了方便表達，JS 中的與或非，我用布爾代數(shù)里面的表示方法：

因此 a && d || b && c && !d || (!a || !b) && c 可以表達為：

轉(zhuǎn)化后優(yōu)先級清晰多了。

現(xiàn)在的問題是，我們?nèi)绾位嗊@個邏輯表達式。

還好有一些常用結論可供我們使用：

前四個公式很好理解。比如，自己或上自己否，當然為 true。

關鍵在于第 5 個公式?jīng)]那么直觀，可以通過畫圖簡單說明下(其他公式都可以類似推導)。

首先看部分，如圖中綠色區(qū)域：

再看，如圖中綠色區(qū)域：

則二者之和為：

而部分正是圖中粉色區(qū)域：

因為粉色區(qū)域原本就在前二者之和里面，因此加多少次都是一樣的。

注意最后這個公式核心特點：和是以和出現(xiàn)的。

有了這幾個公式作為鋪墊，我們就可以正式推導了(原沸點配圖中有)：

根據(jù)第 4 條，替換最后一項：

注意到前兩項分別有和，符合第 5 條：

此時最后兩項，符合第 2 條：

最后兩項，其中一項為，另外一項也包含，滿足第 3 條：

至此化簡完了。真是不可以思議，B 沒了!

此時開篇的代碼簡化成了這樣：

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

真清爽。

感謝你看到這里，希望有所幫助。