Λογικές πράξεις

Λογικές πράξεις ονομάζονται οι μαθηματικές πράξεις που μπορούν να εφαρμοστούν σε αληθοτιμές, δηλαδή είναι οι πράξεις της άλγεβρας Μπουλ. Με άλλα λόγια λογικές είναι οι πράξεις που αφορούν μεταβλητές που μπορούν να πάρουν μόνο δύο τιμές. Αυτές οι δύο τιμές συνήθως ονομάζονται αληθές και ψευδές.

Υπάρχουν δύο μοναδιαίες λογικές πράξεις, δώδεκα δυαδικές πράξεις και μπορούν να οριστούν και άλλες με περισσότερα ορίσματα. Κάθε μία αντιστοιχεί σε έναν πίνακα αληθείας. Έχει αποδειχθεί ότι και όλες οι λογικές πράξεις μπορούν να συνθεθούν από συγκεκριμένες δυαδικές, όπως την αντίθετη της σύζευξης ή την αντίθετη της διάζευξης.

Οι λογικές πράξεις εκτελούνται συνήθως από ολοκληρωμένα κυκλώματα. Ένα ολοκληρωμένο κύκλωμα που εκτελεί λογικές πράξεις ονομάζεται λογική πύλη.

 Μοναδιαίες 

Ταυτότητα είναι η μοναδιαία λογική πράξη της οποίας το αποτέλεσμα είναι ίδιο με το όρισμα.

+  Μεταφορά  Όρισμα  Αποτέλεσμα0011

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

+  Άρνηση  Όρισμα  Αποτέλεσμα0110

 Δυαδικές 

Σύζευξη είναι η δυαδική λογική πράξη που ισούται με αληθές αν και τα δύο ορίσματα είναι αληθή. Αντιστοιχεί στη λέξη και.

+  Σύζευξη  Ορίσματα  Αποτέλεσμα000010100111

Αρνητική σύζευξη είναι η λογική πράξη που ισούται με την άρνηση του αποτελέσματος της σύζευξης.

+  Αρνητική σύζευξη  Ορίσματα  Αποτέλεσμα001011101110

Διάζευξη είναι η δυαδική λογική πράξη που ισούται με αληθές αν τουλάχιστον ένα από τα δύο ορίσματα είναι αληθή. Αντιστοιχεί στη λέξη ή.

+  Διάζευξη  Ορίσματα  Αποτέλεσμα000011101111

Αρνητική διάζευξη είναι η λογική πράξη που ισούται με την άρνηση του αποτελέσματος της διάζευξης.

+  Αρνητική διάζευξη  Ορίσματα  Αποτέλεσμα001010100110

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

+  Αποκλειστική διάζευξη  Ορίσματα  Αποτέλεσμα000011101110

Ισοδυναμία ως λογική πράξη είναι η λογική πράξη που ισούται με αληθές μόνο αν τα ορίσματα είναι ίσα.

+  Ισοδυναμία  Ορίσματα  Αποτέλεσμα001010100111

Αναστολή είναι η λογική πράξη που είναι αληθής μόνο αν το πρώτο όρισμα είναι αληθές και το δεύτερο ψευδές.

+  Αναστολή  Ορίσματα  Αποτέλεσμα000010101110

Συνεπαγωγή ως λογική πράξη είναι η λογική πράξη που ισούται με ψευδές αν το πρώτο όρισμα είναι αληθές και το δεύτερο ψευδές.

+  Συνεπαγωγή  Ορίσματα  Αποτέλεσμα001011100111

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

 Λοιποί πίνακες 

Υπάρχουν δύο πίνακες παρόμοιους με τους παραπάνω που δεν αντιστοιχούν σε κάποια λογική μοναδιαί ή δυαδική πράξη, γιατί δεν εξαρτώνται από τις τιμές των ορισμάτων. Αυτοί είναι:

+  Τίποτα (NULL)  Αποτέλεσμα0

+  Ταυτότητα  Αποτέλεσμα1
 Πηγές 

Κατηγορία:Μαθηματική λογική

ca:Connectiva lògica
da:Logisk konnektiv
de:Junktor
en:Logical connective
es:Conectiva lógica
et:Konnektor
eu:Eragile logiko
fa:رابط‌های منطقی
fr:Connecteur logique
he:פעולה בוליאנית
hu:Logikai művelet
id:Operator logika
is:Rökaðgerð
it:Connettivo logico
ja:論理演算
ko:논리 연산
mk:Логичка операција
ms:Pengoperasi logik
nl:Booleaanse operator
pl:Funktor zdaniotwórczy
ro:Conector logic
ru:Логическая операция
sk:Výroková spojka
sv:Logisk operator
th:ตัวดำเนินการทางตรรกศาสตร์
uk:Логічний сполучник
zh:逻辑运算符