Λογικές Εκφράσεις

Ας μελετήσουμε τώρα τα βασικά σημεία των λογικών εκφράσεων (logical expressions).

Εισαγωγή

Καταρχάς, ονομάζονται “λογικές” γιατί η τιμή τους είναι πάντοτε μια εκ των δύο λογικών τιμών, δηλαδή είτε ΣΩΣΤΟ είτε ΛΑΘΟΣ (True or False).

Τί είναι όμως μια “έκφραση”;

Μια έκφραση σε μια γλώσσα προγραμματισμού είναι ένας συνδυασμός από τελεστέους (operands) που συνήθως είναι σταθερές, μεταβλητές, συναρτήσεις και από τελεστές (operators). Η διεργασία αποτίμησης μιας έκφρασης συνίσταται στην απόδοση τιμών στις μεταβλητές, τον υπολογισμό τυχόν συναρτήσεων και στην εκτέλεση των πράξεων. Η τελική τιμή μιας έκφρασης εξαρτάται από την ιεραρχία των πράξεων και τη χρήση των παρενθέσεων. Η τιμή μιας έκφρασης μπορεί να είναι αριθμητική, αλφαριθμητική ή λογική. Μια έκφραση μπορεί να αποτελείται από μια μόνο μεταβλητή ή σταθερά μέχρι μια πολύπλοκη μαθηματική παράσταση.

Τα είδη των εκφράσεων

Η τιμή στην οποία υπολογίζεται μια έκφραση χαρακτηρίζει και το είδος της. Υπάρχουν τρία είδη εκφράσεων:

  • Αριθμητικές εκφράσεις
  • Αλφαριθμητικές εκφράσεις
  • Λογικές εκφράσεις

Λογικές εκφράσεις

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

Τα είδη των λογικών εκφράσεων

Υπάρχουν δύο ειδών λογικές εκφράσεις: Οι απλές λογικές εκφράσεις και οι σύνθετες λογικές εκφράσεις.

Απλές Λογικές Εκφράσεις

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

Οι χρησιμοποιούμενοι συγκριτικοί τελεστές παρουσιάζονται στον επόμενο πίνακα.

Συγκριτικοί τελεστές
Τελεστής Ελεγχόμενη σχέση Παράδειγμα
= Ισότητα Αριθμός_Ψήφων = 0
<> Ανισότητα Όνομα_1 <> ‘Κώστας’
> Μεγαλύτερο από Τιμή > 10000
>= Μεγαλύτερο ή ίσο Χ+Υ >= (Α+Β)/Γ
< Μικρότερο από Β^2-4*Α*Γ < 0
<= Μικρότερο ή ίσο Βάρος <= 500

Οι συγκρίσεις γίνονται σε δεδομένα αριθμητικά, αλφαριθμητικά και λογικά.

Για το μάθημα του δομημένου προγραμματισμού, ένα από τα αντικείμενα του οποίου είναι η γλώσσα Pascal, θα πρέπει να συμπεριλάβουμε και τον τελεστή in που είναι η πράξη ανήκει ∈.
Π.χ. Charaktiras in ['a', 'b', 'c'].

Σύνθετες Λογικές Εκφράσεις

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

Παραδείγματα:
0 < Χ < 5 σε ψευδοκώδικα γράφεται (Χ > 0) και (Χ < 5)
Χ=1 ή 2 ή 3 σε ψευδοκώδικα γράφεται (Χ = 1) ή (Χ = 2) ή (Χ = 3)

Η ιεραρχία των λογικών τελεστών είναι μικρότερη των αριθμητικών.

Ας δούμε ένα ακόμη παράδειγμα σύνθετης λογικής έκφρασης το οποίο βοηθά να κατανοήσουμε τη λειτουργία των λογικών τελεστών ή, και. Έστω η ΛΕ (α >= β) και (α >= γ), αυτή θα μπορούσε να γραφεί ως εξής: ((α > β) και (α > γ)) ή ((α = β) και (α > γ)) ή ((α > β) και (α = γ)) ή ((α = β) και (α = γ))

Απόσπασμα από το βιβλίο ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ των Α. Βακάλη, Η. Γιαννόπουλος, Ν. Ιωαννίδης, Χ. Κοίλιας, Κ. Μάλαμας, Ι. Μανωλόπουλος, Π. Πολίτης

Advertisements

Posted on 26/10/2011, in Δομημένος Προγραμματισμός, Θεωρία and tagged , , . Bookmark the permalink. Σχολιάστε.

Σχολιάστε

Εισάγετε τα παρακάτω στοιχεία ή επιλέξτε ένα εικονίδιο για να συνδεθείτε:

Λογότυπο WordPress.com

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό WordPress.com. Αποσύνδεση / Αλλαγή )

Φωτογραφία Twitter

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό Twitter. Αποσύνδεση / Αλλαγή )

Φωτογραφία Facebook

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό Facebook. Αποσύνδεση / Αλλαγή )

Φωτογραφία Google+

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό Google+. Αποσύνδεση / Αλλαγή )

Σύνδεση με %s

Αρέσει σε %d bloggers: