Λογική διάζευξη

Στη μαθηματική λογική, διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές όταν ένας ή περισσότεροι από τους όρους στους οποίους ενεργεί είναι αληθής. Στην καθομιλουμένη γλώσσα αντιστοιχεί στην φράση "ή", αν και συχνά η φράση "ή" έχει την έννοια της αποκλειστικής διάζευξης. Στον γραπτό λόγο συχνά χρησιμοποιείται και η γραφή "ή/και" για να τονιστεί ότι πρόκειται για απλή και όχι αποκλειστική διάζευξη.

Για τη λογική διάζευξη χρησιμοποιούνται τα σύμβολα OR (από την αγγλική λέξη  για το ή) και  (από το πρώτο γράμμα της λατινικής λέξης  για το ή).

 Πίνακας αλήθειας 

Παρακάτω δίνεται ο πίνακας αλήθειας για την πρόταση :
{| class="wikitable" style="text-align:center;"
|+
! style="width:35px;background:#aaaaaa;" | 
! style="width:35px;background:#aaaaaa;" | 
! style="width:35px" | 
|-
| 0  || 0  || 0
|-
| 0  || 1  || 1
|-
| 1  || 0  || 1
|-
| 1  || 1  || 1
|}
όπου 0 είναι ψευδής και 1 είναι αληθής.

 Ιδιότητες 
 Η διάζευξη είναι ταυτοδυναμία, δηλαδή .

 Το  είναι ουδέτερο στοιχείο, δηλαδή .

 Το  είναι απορροφητικό στοιχείο, δηλαδή .

 Ικανοποιεί την αντιμεταθετική ιδιότητα, δηλαδή .

 Ικανοποιεί την προσεταιριστική ιδιότητα, δηλαδή .

 Ικανοποιεί την επιμεριστική ιδιότητα ως προς τη λογική σύζευξη, δηλαδή
, και 
.

 Δείτε επίσης 
 Άλγεβρα Μπουλ
 Αποκλειστική διάζευξη
 Λογική σύζευξη
 Ένωση συνόλων
 Δυφιοτελής διάζευξη

 Παραπομπές 

Κατηγορία:Μαθηματική λογική
Κατηγορία:Άλγεβρα Μπουλ
Κατηγορία:Λογικοί τελεστές