Πίνακες αλήθειας — AND, OR, NOT, XOR και συνεπαγωγή

Ένας πίνακας αλήθειας δείχνει κάθε δυνατό συνδυασμό τιμών αλήθειας για μια πρόταση και σου λέει αν το τελικό αποτέλεσμα είναι αληθές ή ψευδές σε κάθε περίπτωση. Αν θέλεις να καταλάβεις γρήγορα τα AND, OR, NOT, XOR ή τη συνεπαγωγή, ένας πίνακας αλήθειας είναι συνήθως το πιο καθαρό σημείο εκκίνησης.

Οι βασικοί τελεστές σε αυτή τη σελίδα ακολουθούν ένα μικρό σύνολο ακριβών κανόνων:

• $p \land q$ είναι αληθές μόνο αν και τα δύο είναι αληθή.
• $p \lor q$ είναι αληθές αν τουλάχιστον ένα είναι αληθές.
• $\lnot p$ αντιστρέφει την τιμή αλήθειας του $p$.
• $p \oplus q$ είναι αληθές αν ακριβώς ένα από τα δύο είναι αληθές.
• $p \to q$ είναι ψευδές μόνο όταν το $p$ είναι αληθές και το $q$ είναι ψευδές.

Πίνακας αλήθειας για AND, OR, NOT, XOR και συνεπαγωγή

Για δύο προτάσεις $p$ και $q$, υπάρχουν τέσσερις δυνατές γραμμές εισόδου: $TT$, $TF$, $FT$ και $FF$. Ένας πλήρης πίνακας αλήθειας πρέπει να περιλαμβάνει και τις τέσσερις.

$p$	$q$	$p \land q$	$p \lor q$	$p \oplus q$	$p \to q$	$\lnot p$
T	T	T	T	F	T	F
T	F	F	T	T	F	F
F	T	F	T	T	T	T
F	F	F	F	F	T	T

Αν θυμάσαι μόνο έναν πίνακα αλήθειας, αυτός είναι ο πιο χρήσιμος. Οι περισσότερες εισαγωγικές ερωτήσεις λογικής καταλήγουν στο να διαβάσεις σωστά μία από αυτές τις στήλες.

Τι σημαίνει κάθε λογικό σύμβολο

Το AND σημαίνει και τα δύο

Το $p \land q$ είναι αληθές μόνο όταν και οι δύο είσοδοι είναι αληθείς.

Γι’ αυτό η στήλη του AND έχει ακριβώς μία αληθή γραμμή.

Το OR σημαίνει τουλάχιστον ένα

Το $p \lor q$ είναι αληθές όταν μία είσοδος είναι αληθής ή όταν και οι δύο είναι αληθείς.

Αυτή είναι η συμπεριληπτική σημασία του OR. Αν ένα πρόβλημα θέλει «το ένα ή το άλλο, αλλά όχι και τα δύο», τότε πρέπει να χρησιμοποιήσει XOR.

Το NOT αντιστρέφει μία πρόταση

Το $\lnot p$ αλλάζει το αληθές σε ψευδές και το ψευδές σε αληθές.

Το NOT διαφέρει από τους άλλους τελεστές εδώ, επειδή δρα πάνω σε μία πρόταση και όχι σε δύο.

Το XOR σημαίνει ακριβώς ένα

Το $p \oplus q$ είναι αληθές όταν οι είσοδοι διαφέρουν.

Άρα οι δύο μεσαίες γραμμές είναι αληθείς, ενώ οι γραμμές όπου τα $p$ και $q$ ταιριάζουν είναι ψευδείς.

Η συνεπαγωγή έχει μία μόνο ψευδή περίπτωση

Το $p \to q$ είναι ψευδές μόνο όταν το $p$ είναι αληθές και το $q$ είναι ψευδές.

Αυτός ο κανόνας μπορεί αρχικά να φαίνεται παράξενος, επειδή η συνεπαγωγή στη λογική δεν σημαίνει «προκαλεί» όπως στην καθημερινή γλώσσα. Σημαίνει ότι ο ισχυρισμός «αν $p$, τότε $q$» αποτυγχάνει μόνο όταν συμβαίνει το $p$ αλλά δεν συμβαίνει το $q$.

Λυμένο παράδειγμα: γιατί το $p \to q$ είναι ψευδές μόνο μία φορά

Έστω ότι το $p$ σημαίνει «Ο αριθμός διαιρείται με το 4» και το $q$ σημαίνει «Ο αριθμός είναι άρτιος».

Εξέτασε την πρόταση

$$p \to q$$

Αυτό σημαίνει: αν ένας αριθμός διαιρείται με το $4$, τότε είναι άρτιος.

Τώρα διάβασε τις τέσσερις λογικές περιπτώσεις:

• Αν το $p$ είναι αληθές και το $q$ είναι αληθές, η πρόταση ισχύει.
• Αν το $p$ είναι αληθές και το $q$ είναι ψευδές, η πρόταση αποτυγχάνει.
• Αν το $p$ είναι ψευδές, η συνεπαγωγή θεωρείται αληθής στην προτασιακή λογική, επειδή η πρόταση δεν υποσχόταν τίποτα για τις περιπτώσεις όπου η συνθήκη δεν συνέβη.

Γι’ αυτό το $p \to q$ έχει ακριβώς μία ψευδή γραμμή. Σε αυτό το παράδειγμα, ο ισχυρισμός είναι πράγματι αληθής για κάθε πραγματικό αριθμό, επειδή κάθε πολλαπλάσιο του $4$ είναι άρτιο.

Συνηθισμένα λάθη στους πίνακες αλήθειας

• Να μπερδεύεις το OR με το XOR. Το απλό OR περιλαμβάνει και την περίπτωση όπου και οι δύο είσοδοι είναι αληθείς.
• Να διαβάζεις τη συνεπαγωγή σαν καθημερινή αιτιότητα. Σε έναν πίνακα αλήθειας, το $p \to q$ ορίζεται από τις γραμμές του, όχι από μια ιστορία αιτίας και αποτελέσματος.
• Να ξεχνάς να γράψεις κάθε συνδυασμό εισόδων. Με δύο προτάσεις, πρέπει να υπάρχουν τέσσερις γραμμές.
• Να θεωρείς το NOT τελεστή δύο εισόδων. Δρα μόνο σε μία πρόταση.
• Να υποθέτεις ότι οι πίνακες αλήθειας χρησιμοποιούνται μόνο στη φιλοσοφία ή στις αποδείξεις. Η ίδια λογική εμφανίζεται στη Boolean άλγεβρα και στα ψηφιακά συστήματα.

Πού χρησιμοποιούνται οι πίνακες αλήθειας

Οι πίνακες αλήθειας χρησιμοποιούνται για να ορίσουν λογικούς συνδέσμους, να ελέγξουν αν δύο προτάσεις είναι ισοδύναμες, να εξετάσουν αν μια μορφή επιχειρήματος είναι έγκυρη και να διαβάσουν Boolean εκφράσεις στην πληροφορική.

Είναι ιδιαίτερα χρήσιμοι όταν οι συμβολικοί κανόνες φαίνονται αφηρημένοι. Ένας πίνακας φέρνει κάθε περίπτωση μπροστά σου, κι έτσι τα κρυμμένα λάθη εντοπίζονται πολύ πιο εύκολα.

Δοκίμασε έναν παρόμοιο πίνακα αλήθειας

Κατασκεύασε τον πίνακα για

$$(p \lor q) \land \lnot q$$

Έπειτα σύγκρινε την τελική του στήλη με τη στήλη του $p \land \lnot q$. Αν θέλεις να εξερευνήσεις άλλη μία περίπτωση μετά από αυτό, δοκίμασε την ίδια διαδικασία με το $p \oplus q$ και δες πώς διαφέρει από το απλό OR.