不等价

如果和 (即，, 其中表示非 (NOT), 表示蕴含 (implies), 且表示与 (AND)), 则和被称为不等价的，这种关系符号化地表示为 , , 或。不等价在 Wolfram 语言中实现为不等[A, B, ...]。二元不等价与真值表和异或 (XOR) (即互斥析取) 具有相同的真值表，如下所示。