双条件真值表

双条件连接词表示条件“当且仅当”，又称双向连接词。它检查两个命题是否评估为相同的真值。它也可以被认为是 (𝐴→𝐵)∧(𝐵→𝐴).