Skip to content

Equivalent

Status: Stable

documented, exercised by the test suite and/or worked examples, with no known limitations recorded.

Description

Equivalent[e1, e2, ...]

The logical equivalence e1 \[Equivalent] e2 \[Equivalent] ...: True when all of the ei have the same truth value. Folds literal Booleans and cancels duplicate arguments; Equivalent[] and Equivalent[e] are True.

Examples

No verified examples yet for this function.

Implementation notes

Attributes: Flat, OneIdentity, Orderless, Protected.

References

See also: Flat, Orderless, OneIdentity, LogicalExpand, Reduce, FindInstance