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 >

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
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
Format:   HTML  |  CDF