$$\large{\displaylines{\begin{array}{c|c|c} \color{#ff7800}p & \color{#ff7800}\oplus & \color{#ff7800}q \\ \hline 0 & 0 & 0 \\ \hline 0 & 1 & 1 \\ \hline 1 & 1 & 0 \\ \hline 1 & 0 & 1\end{array}}}$$
Исключающее «ИЛИ»
«Либо … либо …», строгая дизъюнкция
- n-арная операция, которая даёт истину только тогда, когда количество истинных суждений в наборе нечётное
- Обозначается символами: $\oplus, \ \hat{}, \ \mathrm{XOR}$
- $$p \oplus q, \quad p \ \hat{} \ q$$
- Может быть выражена через логическое отрицание, конъюнкцию и дизъюнкцию
- $$(p \land \neg q) \lor (\neg p \land q)$$
- $$(p \lor q) \land (\neg p \lor \neg q)$$