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

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

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

Για τη λογική διάζευξη χρησιμοποιούνται επίσης τα σύμβολα OR και $\lor \,$. Παρακάτω δίνεται ο πίνακας αλήθειας για την πρόταση $\ p \lor q \,$.

p	q	∨
A	A	A
A	Ψ	Α
Ψ	Α	Α
Ψ	Ψ	Ψ

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

Δείτε επίσης

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