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