假設(shè)看到了這樣的代碼：

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

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

[[315566]]

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

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

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

答案是肯定的!

這種問(wèn)題的探究來(lái)自于一門(mén)數(shù)學(xué)：布爾代數(shù)或邏輯代數(shù)。

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

布爾代數(shù)這門(mén)課，大學(xué)里應(yīng)該或多或少都講些吧。因?yàn)槲沂菙?shù)學(xué)專(zhuān)業(yè)畢業(yè)的，看到這種問(wèn)題必須記錄一下，也順便復(fù)習(xí)一下。

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

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

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

現(xiàn)在的問(wèn)題是，我們?nèi)绾位?jiǎn)這個(gè)邏輯表達(dá)式。

還好有一些常用結(jié)論可供我們使用：

前四個(gè)公式很好理解。比如，自己或上自己否，當(dāng)然為 true。

關(guān)鍵在于第 5 個(gè)公式?jīng)]那么直觀，可以通過(guò)畫(huà)圖簡(jiǎn)單說(shuō)明下(其他公式都可以類(lèi)似推導(dǎo))。

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

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

則二者之和為：

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

因?yàn)榉凵珔^(qū)域原本就在前二者之和里面，因此加多少次都是一樣的。

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

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

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

注意到前兩項(xiàng)分別有和，符合第 5 條：

此時(shí)最后兩項(xiàng)，符合第 2 條：

最后兩項(xiàng)，其中一項(xiàng)為，另外一項(xiàng)也包含，滿(mǎn)足第 3 條：

至此化簡(jiǎn)完了。真是不可以思議，B 沒(méi)了!

此時(shí)開(kāi)篇的代碼簡(jiǎn)化成了這樣：

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

真清爽。

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