Σύστημα για επεξεργασία λογικών εκφράσεων.

Abstract

Η πτυχιακή εργασία μας σχετίζεται με λογικές πράξεις, πύλες και πίνακες αληθείας. Εξετάζουμε τις λογικές πράξεις: της Σύζευξης (˄), της Άρνησης (⌐), της Διάζευξης (˅) και της Συνεπαγωγής (→), οι οποίες μας δίνουν ένα λογικό αποτέλεσμα (0 ή 1). Στον κώδικά μας χρησιμοποιούμε το πολύ πέντε (5) μεταβλητές. Επίσης αναφερόμαστε στον Προτασιακό Λογισμό, στους αλγόριθμους DNF, CNF και στη μετατροπή προτάσεων σε αυτούς. Η γλώσσα προγραμματισμού C έχει πολλές δυνατότητες, γι’ αυτόν το λόγο έχουμε επιλέξει να γράψουμε τον κώδικάς μας με αυτήν.

Our thesis relates to logical operations, gates and truth tables. We examine the logical operations of: conjunction ( ˄ ), negation ( ⌐ ), disjunction ( ˅ ) and implication ( → ), which give us a logical result ( 0 or 1 ). In our code we use a maximum of five (5) variables. Also, refer to propositional calculus, the algorithms DNF, CNF and the conversion of proposals to them. The C programming language has many features, for this reason we have chosen to write down our code with it.