Αποκλειστική διάζευξη
Μετάβαση στην πλοήγηση
Πήδηση στην αναζήτηση
![]() |
Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. |
Αποκλειστική διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές αν και μόνο αν ακριβώς ένας από τους όρους στους οποίους ενεργεί είναι αληθής.
Για να δηλώσουν αποκλειστική διάζευξη χρησιμοποιούνται τα σύμβολα XOR και . Η αποκλειστική διάζευξη μπορεί να γραφεί με χρήση μόνο των λογικών τελεστών σύζευξη (ή "ένωση" ή "λογική άθροιση") , διάζευξη , και άρνηση ως εξής:
Πίνακας αλήθειας[Επεξεργασία | επεξεργασία κώδικα]
Παρακάτω δίνεται ο πίνακας αλήθειας της πρότασης .
p | q | ⊕ |
---|---|---|
Ψ | Ψ | Ψ |
Ψ | Α | Α |
Α | Ψ | Α |
Α | Α | Ψ |
(όπου Ψ=ψευδής, Α=αληθής)