Equivalent

Equivalent[e1,e2,]

represents the logical equivalence e1e2, giving True when all of the ei are the same.

Details

Examples

open allclose all

Basic Examples  (2)

Test equivalence of Boolean expressions:

In[1]:=
Click for copyable input
Out[1]=

Enter using equiv:

In[1]:=
Click for copyable input
Out[1]=

Scope  (2)

Applications  (1)

Properties & Relations  (6)

See Also

Equal  Implies  Xnor  TautologyQ  BooleanCountingFunction

Introduced in 2008
(7.0)