$$\large{\begin{gather*}\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}\end{gather*}}$$
Эквиваленция
Логическая равнозначность, тождество
- N-арная операция, которая даёт истину, если все исходные суждения имеют одинаковую истинность
- Обозначается символами: $\leftrightarrow,\equiv$
- $$p \leftrightarrow q, \quad p \equiv q$$
- Эквиваленция может быть выражена с помощью логического отрицания, конъюнкции и дизъюнкции
- $$(\neg p \land \neg q) \lor (p \land q)$$
