Περίληψη:
Θα αναπτυχθεί ένα λογισμικό, το οποίο με διαδραστικό τρόπο θα απλοποιεί μια λογική συνάρτηση με τη χρήση της μεθόδου Quine-McCluskey. Η ανάπτυξη του λογισμικού θα γίνει σε προγραμματιστικό περιβάλλον της επιλογής του σπουδαστή. Κατά τη διαδικασία απλοποίησης θα πρέπει α) να δείχνονται σχηματικά όλα τα στάδια ομαδοποίησης και απλοποίησης, β) οι απλοποιημένες μορφές να εξάγονται είτε υπό κανονική μορφή αθροίσματος είτε υπό κανονική μορφή γινομένου και γ) να μπορεί να ανιχνεύει τη βέλτιστη δυνατή λύση χρησιμοποιώντας κατάλληλη μέθοδο (πχ αλγόριθμος του Petrick).