Equivalent

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

Examples

Test logical equivalence:

Equivalent[True, True]
(* True *)

Mixed values:

Equivalent[True, False]
(* False *)

Simplify a logical expression:

BooleanSimplify[Equivalent[p, q]]
(* (p && q) || (!p && !q) *)

Please visit the official Wolfram Language Reference for more details.