• ← AnyTrue
• → False

Equivalent (⧦)

WMA link

Equivalent[$expr_1$, $expr_2$, ...]

$expr_1$ ⧦ $expr_2$ ⧦ ...

is equivalent to
($expr_1$ && $expr_2$ && ...) || (!$expr_1$ && !$expr_2$ && ...)

• • Equivalent[True, True, False]

If all expressions do not evaluate to True or False, Equivalent returns a result in symbolic form:

• • Equivalent[a, b, c]

Otherwise, Equivalent returns a result in DNF

• • Equivalent[a, b, True, c]