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

Μία πρόταση που μπορεί να χαρακτηριστεί αληθής ή ψευδής, ονομάζεται Λογική πρόταση.

π.χ. Το 5 είναι θετικός αριθμός (αληθής)

Το 5 είναι ζυγός αριθμός (ψευδής)

Υπάρχουν λογικές προτάσεις που είναι πάντα αληθείς ή πάντα ψευδείς. Μια τέτοια πρόταση

ονομάζεται Λογική Σταθερά

π.χ. Μετά το Σάββατο έρχεται η Κυριακή

Μια πρόταση που μπορεί άλλοτε να είναι αληθής και άλλοτε ψευδής λέγεται Λογική

μεταβλητή.

π.χ. Ο φυσικός αριθμός χ είναι μεγαλύτερος του 5.

Με μεταβλητές που οι δυνατές διακριτές τιμές τους είναι μόνο δυο, ασχολείται η Δυαδική

Λογική.

Τελεστής (operator) είναι ένα σύμβολο που παριστάνει μία πράξη που εκτελείται σε ένα ή περισσότερα δεδομένα. Τα δεδομένα ονομάζονται τελεστέοι (operands) και μπορεί να είναι μεταβλητές ή σταθερές ή λογικές προτάσεις. Οι τελεστές με τους τελεστέους σχηματίζουν εκφράσεις οι οποίες δημιουργούν προτάσεις

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

Η τιμή (αποτέλεσμά) μιας λογικής παράστασης μπορεί να είναι είτε αληθής-true (π.χ. 7 > 5), είτε ψευδής-false (π.χ. 10 < 2).

Στη δυαδική λογική, υπάρχουν λογικές πράξεις (τελεστές) που μπορούν να εκτελούν συγκεκριμένη λειτουργία σε μια πρόταση (πράξη ΝΟΤ)

ή συνδυάζουν μεταξύ τους δυο ή περισσότερες προτάσεις (π.χ. AND, OR).

NOT, (ΟΧΙ, άρνηση, αντιστροφή ή συμπλήρωμα): αντιστρέφει την τιμή της λογικής πρότασης

π.χ.
Α  $\rightarrow$ Έξω βρέχει. (αληθής)
ΝΟΤ Α  $\rightarrow$  Έξω δεν βρέχει. (ψευδής)

ΟR, (H’, διάζευξη, λογική πρόσθεση): δυο ή περισσότερες προτάσεις που συνδέονται με το ΟR σχηματίζουν αληθή πρόταση όταν τουλάχιστον μια από τις επιμέρους προτάσεις είναι αληθής.

π.χ.
Α $\rightarrow$  Το 10 είναι διπλάσιο του 5. (αληθής)
Β $\rightarrow$  Το 10 είναι τριπλάσιο του 3. (ψευδής)
Α OR B  $\rightarrow$ Το 10 είναι διπλάσιο του 5 ή το 10 είναι τριπλάσιο του 3. (αληθής)

ΑΝD, (KAI, σύζευξη, λογικός πολλαπλασιασμός): δύο ή περισσότερες προτάσεις που συνδέονται με το ΑND σχηματίζουν αληθή πρόταση όταν όλες οι επιμέρους προτάσεις είναι αληθείς.
π.χ.
Α  $\rightarrow$  Το 3 είναι διαιρέτης του 10 (ψευδής)
Β  $\rightarrow$ Το 3 είναι διαιρέτης του 9 (αληθής)
Α AND B  $\rightarrow$ To 3 είναι διαιρέτης του 10 και το 3 είναι διαιρέτης του 9 (ψευδής).

ΧΟR, (ΑΠΟΚΛΕΙΣΤΙΚΟ Η’, αποκλειστική διάζευξη): δυο προτάσεις που συνδέονται με XOR σχηματίζουν αληθή πρόταση όταν η μία είναι αληθής και άλλη ψευδής, δηλ. δεν αληθεύουν ταυτόχρονα και δεν είναι ταυτόχρονα ψευδείς. π.χ.

A → Στη Χίο θα πάμε με πλοίο.

Β → Στη Χίο θα πάμε με αεροπλάνο

Α ΧΟR Β → Στη Χίο θα πάμε με είτε πλοίο είτε με αεροπλάνο. (Δεν θα πάμε ταυτόχρονα και με τα δύο)!