不等價

如果和 (即，, 其中表示非 (NOT), 表示蘊含 (implies), 且表示與 (AND)), 則和被稱為不等價的，這種關係符號化地表示為 , , 或。不等價在 Wolfram 語言中實現為不等[A, B, ...]。二元不等價與真值表和異或 (XOR) (即互斥析取) 具有相同的真值表，如下所示。