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

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

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

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

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

Δείτε επίσης 

 Άλγεβρα Μπουλ

Μαθηματική λογική
Άλγεβρα Μπουλ