Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > Mathematics and Algorithms > Discrete Mathematics > Boolean Computation > Equivalent >
Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation > Equivalent >
Mathematica > Mathematics and Algorithms > Graphs & Networks > Graph Programming > Boolean Computation > Equivalent >
BUILT-IN MATHEMATICA SYMBOLSee Also »|More About »

Equivalent

Equivalent
represents the logical equivalence , giving True when all of the are the same.
MORE INFORMATION
  • As a Boolean function, Equivalent is equivalent to .
EXAMPLESCLOSE ALL
Basic Examples   (2)
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]=
Scope   (2)
Automatic simplifications:
TraditionalForm formatting:
Applications   (1)
Prove equivalence between different Boolean expressions:
Properties & Relations   (6)
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
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
Format:   HTML  |  CDF