當且僅當

當且僅當 （ if and only if ， iff ） ， 在數位邏輯中 ， 邏輯算符反互斥或閘 （ Exclusive NOR ） 是對兩個運算元的一種邏輯分析類型 ， 符號爲XNOR或ENOR或 。 與一般的邏輯或非NOR不同 ， 當兩兩數值相同爲是 ， 而數值不同時爲否 。 在數學 、 哲學 、 邏輯學以及其他一些技術性領域中被用來表示 “ 在這個條件成立 ， 並且僅在這個條件成立時 ” 之意 。 - { zh - tw: 若; zh - cn: 當; zh - hk: 當; } - 命題滿足 “ - { zh - tw: 若; zh - cn: 當; zh - hk: 當; } - 則 ” 且 “ 僅當則 ” 時 ， 稱爲 “ 當且僅當則 ” ， 其他等價的說法有 “ 當且僅當 ” ； “ 是的充分必要條件 （ 充要條件 ） ” ； “ 等價於 ” 。 一般而言 ， 當我們看到 “ 當且僅當則 ” ， 我們可以知道 “ 如果成立時 ， 則一定成立 ； 如果成立時 ， 則也一定成立 ” ； “ 如果不成立時 ， 則一定不成立 ； 如果不成立時 ， 則也一定不成立 ” 。