.
Αποκλειστική διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές αν και μόνο αν ακριβώς ένας από τους όρους στους οποίους ενεργεί είναι αληθής.
Για να δηλώσουν αποκλειστική διάζευξη χρησιμοποιούνται τα σύμβολα XOR και \( \oplus \) . Η αποκλειστική διάζευξη μπορεί να γραφεί με χρήση μόνο των λογικών τελεστών σύζευξη (ή "ένωση" ή "λογική άθροιση") \( \wedge \) , διάζευξη \( \lor \) , και άρνηση \( \neg \) ως εξής:
\( \begin{matrix} p \oplus q & = & (p \land \lnot q) \lor (\lnot p \land q) \end{matrix} \)
Πίνακας αλήθειας
Παρακάτω δίνεται ο πίνακας αλήθειας της πρότασης \( p \oplus q\) .
| p | q | ⊕ |
|---|---|---|
| Ψ | Ψ | Ψ |
| Ψ | Α | Α |
| Α | Ψ | Α |
| Α | Α | Ψ |
(όπου Ψ=ψευδής, Α=αληθής)
Hellenica World - Scientific Library
Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License
