$$\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)$$

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