当且仅当  当且仅当的逻辑符号 当且仅当英語if and only ififf在數位邏輯中逻辑算符反互斥或閘英語Exclusive NOR是对两个运算元的一种邏輯分析类型符号为XNOR或ENOR或  displaystyle Leftrightarrow  与一般的邏輯或非NOR不同當兩兩數值相同為是而數值不同時為否在数学哲学逻辑学以及其他一些技术性领域中被用来表示在这个条件成立并且仅在这个条件成立时之意当命题 p  q displaystyle pq 满足当 p displaystyle p 则 q displaystyle q 且仅当 p displaystyle p 则 q displaystyle q 时称为当且仅当 p displaystyle p 则 q displaystyle q 其他等价的说法有 q displaystyle q 当且仅当 p displaystyle p  p displaystyle p 是 q displaystyle q 的充分必要条件充要條件 p displaystyle p 等价于 q displaystyle q  一般而言當我們看到当且仅当 p displaystyle p 则 q displaystyle q 我們可以知道如果 p displaystyle p 成立時則 q displaystyle q 一定成立如果 q displaystyle q 成立時則 p displaystyle p 也一定成立如果 p displaystyle p 不成立時則 q displaystyle q 一定不成立如果 q displaystyle q 不成立時則 p displaystyle p 也一定不成立