TOPICS
Search

Nonequivalent


If A=>!B and B=>!A (i.e., (A=>!B) ^ (B=>!A), where !A denotes NOT, => denotes implies, and  ^ denotes AND), then A and B are said to be inequivalent, a relationship which is written symbolically as A≢B, A<=>AdjustmentBox[/, BoxMargins -> {{-1.05, 0.13913}, {-0.5, 0.5}}]B, or A<->AdjustmentBox[/, BoxMargins -> {{-1, 0.13913}, {-0.5, 0.5}}]B. Nonequivalence is implemented in the Wolfram Language as Unequal[A, B, ...]. Binary nonequivalence has the same truth table as XOR (i.e., exclusive disjunction), reproduced below.

ABA≢B
TTF
TFT
FTT
FFF

See also

Connective, Equivalent, Exclusive Disjunction, XOR

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Nonequivalent." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Nonequivalent.html

Subject classifications