Μετάβαση στο περιεχόμενο

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

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

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

Για τη λογική διάζευξη χρησιμοποιούνται τα σύμβολα OR (από την αγγλική λέξη or για το ή) και (από το πρώτο γράμμα της λατινικής λέξης vel για το ή).[1]:147-148[2]:21[3]:17[4]:17[5]:154

Παρακάτω δίνεται ο πίνακας αλήθειας για την πρόταση :

0 0 0
0 1 1
1 0 1
1 1 1

όπου 0 είναι ψευδής και 1 είναι αληθής.

, και
.
  1. Hayes, John P. (1993). Introduction to Digital Logic Design. Addison-Wesley Publishing Company. ISBN 0-201-15461-7. 
  2. Harris, David Money (2013). Digital design and computer architecture (2η έκδοση). Waltham, MA: Morgan Kaufmann. ISBN 978-0-12-394424-5. 
  3. Κολέτσος, Γεώργιος. «Εισαγωγή - Η Λογική των Προτάσεων» (PDF). Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών, Εθνικό Μετσόβιο Πολυτεχνείο. Αρχειοθετήθηκε από το πρωτότυπο (PDF) στις 3 Σεπτεμβρίου 2022. Ανακτήθηκε στις 3 Σεπτεμβρίου 2022. 
  4. Κολέτσος, Γ. (2015). Μαθηματική λογική. Κάλλιπος, Ανοικτές Ακαδημαϊκές Εκδόσεις. doi:10.57713/kallipos-785. ISBN 978-960-603-311-7. 
  5. Ζάχος, Ε.· Παγουρτζής, Α.· Σούλιου, Θ. (2015). «Μαθηματική Λογική». Θεμελίωση επιστήμης υπολογιστών. Κάλλιπος, Ανοικτές Ακαδημαϊκές Εκδόσεις.