$$\large{\displaylines{\begin{array}{c|c|c} \color{#ff7800}p & \color{#ff7800}\leftrightarrow & \color{#ff7800}q \\ \hline 0 & 1 & 0 \\ \hline 0 & 0 & 1 \\ \hline 1 & 0 & 0 \\ \hline 1 & 1 & 1\end{array}}}$$

Эквиваленция

Логическая равнозначность, тождество

n-арная операция, которая даёт истину, если все суждения имеют одинаковую истинность
Обозначается символами: $\leftrightarrow, \ \equiv$
$$p \leftrightarrow q, \quad p \equiv q$$
Может быть выражена через логическое отрицание, конъюнкцию и дизъюнкцию
$$(\neg p \land \neg q) \lor (p \land q)$$

. . . логические операции эквиваленция