Αποκλειστική διάζευξη

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Πήδηση στην πλοήγηση Πήδηση στην αναζήτηση

Αποκλειστική διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές αν και μόνο αν ακριβώς ένας από τους όρους στους οποίους ενεργεί είναι αληθής.

Για να δηλώσουν αποκλειστική διάζευξη χρησιμοποιούνται τα σύμβολα XOR και . Η αποκλειστική διάζευξη μπορεί να γραφεί με χρήση μόνο των λογικών τελεστών σύζευξη (ή "ένωση" ή "λογική άθροιση") , διάζευξη , και άρνηση ως εξής:

Πίνακας αλήθειας[Επεξεργασία | επεξεργασία κώδικα]

Παρακάτω δίνεται ο πίνακας αλήθειας της πρότασης .

p q
Ψ Ψ Ψ
Ψ Α Α
Α Ψ Α
Α Α Ψ

(όπου Ψ=ψευδής, Α=αληθής)