This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

Equivalent

Equivalent
represents the logical equivalence , giving True when all of the are the same.
  • As a Boolean function, Equivalent is equivalent to .
Test equivalence of Boolean expressions:
Enter using Esc equiv Esc:
Test equivalence of Boolean expressions:
In[1]:=
Click for copyable input
Out[1]=
 
Enter using Esc equiv Esc:
In[1]:=
Click for copyable input
Out[1]=
Automatic simplifications:
TraditionalForm formatting:
Prove equivalence between different Boolean expressions:
Use BooleanConvert to express Equivalent in terms of And and Or:
A well-known representation of two-argument Equivalent in terms of Implies:
This proves that the two representations are indeed equivalent:
Equivalent can be represented in terms of BooleanCountingFunction:
Equivalent with two arguments is equivalent to Xnor:
For more arguments these are different primitives:
Use Resolve to prove equivalence of two systems of equations:
Equivalent is effectively Equal for Boolean expressions:
New in 7