Σύστημα για επεξεργασία λογικών εκφράσεων.
System for processing of logical expressions.
Date
2015-01-19Author
Πατσάκης, Νικόλαος
Παπαδάκης, Γεώργιος
Patsakis, Nikolaos
Papadakis, Georgios
Metadata
Show full item recordAbstract
Η πτυχιακή εργασία μας σχετίζεται με λογικές πράξεις, πύλες και πίνακες αληθείας. Εξετάζουμε τις λογικές πράξεις: της Σύζευξης (˄), της Άρνησης (⌐), της Διάζευξης (˅) και της Συνεπαγωγής (→), οι οποίες μας δίνουν ένα λογικό αποτέλεσμα (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.
Collections
This website uses cookies to ensure you get the best browsing experience.
Continue
More info