Home Original page

Equivalent—Wolfram Documentation

Equivalent[e1,e2,…]

represents the logical equivalence e1⇔e2⇔…, giving True when all of the ei are the same.

Details

Examples

open all close all

Basic Examples  (2)

Test equivalence of Boolean expressions:

Enter using equiv:

Scope  (2)

Applications  (1)

Prove equivalence between different Boolean expressions:

Properties & Relations  (7)

Wolfram Research (2008), Equivalent, Wolfram Language function, https://reference.wolfram.com/language/ref/Equivalent.html.

Text

Wolfram Research (2008), Equivalent, Wolfram Language function, https://reference.wolfram.com/language/ref/Equivalent.html.

CMS

Wolfram Language. 2008. "Equivalent." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Equivalent.html.

APA

Wolfram Language. (2008). Equivalent. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Equivalent.html

BibTeX

@misc{reference.wolfram_2025_equivalent, author="Wolfram Research", title="{Equivalent}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/Equivalent.html}", note=[Accessed: 22-February-2026]}

BibLaTeX

@online{reference.wolfram_2025_equivalent, organization={Wolfram Research}, title={Equivalent}, year={2008}, url={https://reference.wolfram.com/language/ref/Equivalent.html}, note=[Accessed: 22-February-2026]}