当且仅当（，），在数位逻辑中，逻辑算符反互斥或闸（exclusive or）是对两个运算元的一种逻辑分析类型，符号为XNOR或ENOR或formula_1。与一般的逻辑或非NOR不同，当两两数值相同为是，而数值不同时为否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在这个条件成立，并且仅在这个条件成立时”之意。zh-tw:若; zh-cn:当; zh-hk:当;命题formula_2满足“zh-tw:若; zh-cn:当; zh-hk:当;formula_3则formula_4”