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

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

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

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

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

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

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

Δείτε επίσης[Επεξεργασία | επεξεργασία κώδικα]