Υπολογιστής Απλοποίησης Άλγεβρας Boolean

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

Έκφραση

Γράψτε τις μεταβλητές ως μεμονωμένα γράμματα. Το AND μπορεί να γραφτεί ως AB, A·B, A*B ή A AND B· το OR ως A + B ή A OR B· το NOT ως A', !A ή NOT A· οι τελεστές XOR, NAND και NOR υποστηρίζονται επίσης.
Εισαγωγή τελεστή

Έως 6 διαφορετικές μεταβλητές και 2,000 χαρακτήρες. Επιτρέπονται οι σταθερές 0 και 1.

Δοκιμάστε μια έκφραση

Ελάχιστη μορφή

Η ελάχιστη μορφή σας θα εμφανιστεί εδώ

Πληκτρολογήστε μια έκφραση Boolean για να δείτε την απλούστερη μορφή αθροίσματος γινομένων, το γινόμενο αθροισμάτων της και τον τρόπο με τον οποίο βρέθηκαν.

Πληκτρολογήστε μια έκφραση Boolean για να την απλοποιήσετε.

Οι εκφράσεις απλοποιούνται σε αυτό το πρόγραμμα περιήγησης και δεν φεύγουν ποτέ από τη συσκευή σας.

Συχνές Ερωτήσεις

Ποιες μορφές γραφής μιας έκφρασης είναι κατανοητές;

Υποστηρίζονται όλες οι κοινές συμβάσεις, με δυνατότητα ελεύθερης ανάμειξης: μηχανολογική μορφή (AB + A'C, με σιωπηρό AND και τον τόνο για το NOT), προγραμματιστική μορφή (A && !B || C, A ^ B), λογικά σύμβολα (¬ ∧ ∨ ⊕ ⊼ ⊽) και απλές λέξεις (A AND B OR NOT C, NAND, NOR). Ακολουθίες πολλών γραμμάτων όπως ABC σημαίνουν A AND B AND C, και οι λέξεις AND, OR, NOT, XOR, NAND, NOR ερμηνεύονται πάντα ως τελεστές.

Πώς βρίσκεται η ελάχιστη μορφή;

Το εργαλείο κατασκευάζει τον πλήρη πίνακα αλήθειας, συγχωνεύει τις γειτονικές γραμμές με τιμή 1 σε πρωτεύοντες συνεπαγόμενους όρους (μέθοδος Quine–McCluskey), κρατά τους ουσιώδεις και καλύπτει τις υπόλοιπες γραμμές με μια ακριβή ελάχιστη κάλυψη. Το αποτέλεσμα είναι εγγυημένα ελάχιστο για τη μορφή αθροίσματος γινομένων —δεν πρόκειται για ευρετική μέθοδο— και η ίδια διαδικασία στις γραμμές με τιμή 0 παράγει το γινόμενο αθροισμάτων.

Ποια είναι η διαφορά μεταξύ των αποτελεσμάτων SOP και POS;

Και οι δύο περιγράφουν την ίδια συνάρτηση. Το άθροισμα γινομένων (SOP) συνδέει με OR όρους AND, όπως AB' + BC, και αντιστοιχεί απευθείας σε κυκλώματα AND–OR· το γινόμενο αθροισμάτων (POS) συνδέει με AND παράγοντες OR, όπως (A + B)(B' + C), και αντιστοιχεί σε κυκλώματα OR–AND. Ανάλογα με τη συνάρτηση, η μία μορφή μπορεί να απαιτεί λιγότερες πύλες από την άλλη, επομένως το εργαλείο δείχνει πάντα και τις δύο.

Γιατί υποστηρίζονται το πολύ 6 μεταβλητές;

Έξι μεταβλητές παράγουν ήδη έναν πίνακα αλήθειας 64 γραμμών, που είναι περίπου το όριο για να είναι ακόμα αναγνώσιμος και ελέγξιμος με το χέρι. Πέρα από αυτό, η ελαχιστοποίηση συνεχίζει να λειτουργεί θεωρητικά, αλλά η παραγωγή των βημάτων και ο πίνακας γύρω από τον οποίο είναι δομημένη αυτή η σελίδα παύουν να είναι χρήσιμα ως αποδεικτικά στοιχεία. Λογισμικό σχεδίασης λογικών κυκλωμάτων με έξοδο αρχείου είναι καταλληλότερο για συναρτήσεις με περισσότερες μεταβλητές.

Συντάχθηκε και ελέγχθηκε από τη συντακτική ομάδα του BroBroGo.Τελευταία ενημέρωση:

Η Λειτουργία του Υπολογιστή Απλοποίησης Άλγεβρας Boolean

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

Παράλληλα με αυτές τις απλοποιημένες μορφές, παρέχεται μια αναλυτική παρουσίαση βήμα προς βήμα για τον τρόπο με τον οποίο επιτεύχθηκε η ελαχιστοποίηση μέσω της μεθόδου Quine–McCluskey. Το εργαλείο καταγράφει όλους τους πρωτεύοντες συνεπαγόμενους όρους και δημιουργεί έναν πίνακα αλήθειας γραμμή προς γραμμή, ο οποίος επαληθεύει τα απλοποιημένα αποτελέσματα σε σύγκριση με την αρχική έκφραση.

Μορφές Εισαγωγής και Δυνατότητες Διασύνδεσης

Η κύρια εισαγωγή κειμένου πραγματοποιείται στο πεδίο Έκφραση Boolean. Οι μεταβλητές πρέπει να γράφονται ως μεμονωμένα γράμματα. Το εργαλείο υποστηρίζει τη χρήση και ελεύθερη ανάμειξη διαφορετικών συστημάτων γραφής (μηχανολογική μορφή, προγραμματιστική μορφή, λογικά σύμβολα ή απλές λέξεις):

  • AND: Μπορεί να γραφτεί ως σιωπηρό (π.χ. AB), A·B, A*B, A AND B, A && B ή με λογικά σύμβολα. Ακολουθίες πολλών γραμμάτων όπως ABC ερμηνεύονται ως A AND B AND C.
  • OR: A + B, A OR B, A || B ή με λογικά σύμβολα.
  • NOT: A', !A, NOT A, ¬A ή με το σύμβολο του τόνου.
  • XOR: A ^ B, A XOR B, A ⊕ B.
  • NAND: A NAND B, ⊼.
  • NOR: A NOR B, ⊽.
  • Σταθερές: Επιτρέπονται οι σταθερές τιμές 0 και 1.

Για τη διευκόλυνση του χρήστη, η διεπαφή περιλαμβάνει τα εξής στοιχεία:

  • Εισαγωγή τελεστή: Στοιχεία ελέγχου για την απευθείας εισαγωγή ειδικών τελεστών στην έκφραση.
  • Δοκιμάστε μια έκφραση: Έτοιμες συντομεύσεις παραδειγμάτων για άμεση φόρτωση:
    • Συγχώνευση όρων (παράδειγμα συναίνεσης).
    • Αρνημένο γινόμενο (παράδειγμα De Morgan).
    • XOR τριών εισόδων (παράδειγμα XOR).
  • Καθαρισμός: Κουμπί για την άμεση διαγραφή του τρέχοντος περιεχομένου εισαγωγής.

Ανάλυση των Αποτελεσμάτων και των Διαγνωστικών

Μόλις εισαχθεί μια έγκυρη έκφραση, το εργαλείο εμφανίζει τα εξής πεδία εξόδου:

  • Ανάγνωση ως: Η κανονικοποιημένη ερμηνεία της έκφρασης που εισήγαγε ο χρήστης.
  • Ελάχιστο άθροισμα γινομένων (SOP): Η απλοποιημένη μορφή αθροίσματος γινομένων.
  • Ελάχιστο γινόμενο αθροισμάτων (POS): Η απλοποιημένη μορφή γινομένου αθροισμάτων.
  • Με μια ματιά: Ένας πίνακας διαγνωστικών στοιχείων που περιλαμβάνει:
    • Μεταβλητές: Η λίστα με τις μεταβλητές που ανιχνεύθηκαν.
    • Γραμμές ίσες με 1: Ο αριθμός ή η λίστα των ελάχιστων όρων (minterms).
    • Πρωτεύοντες συνεπαγόμενοι όροι: Ο συνολικός αριθμός των πρωτευόντων συνεπαγόμενων όρων που εντοπίστηκαν.
    • Ουσιώδεις πρωτεύοντες συνεπαγόμενοι όροι: Ο αριθμός των ουσιωδών πρωτευόντων συνεπαγόμενων όρων.
    • Λεκτικά, πριν → μετά: Ο αριθμός των λεκτικών όρων (literals) στην έκφραση πριν και μετά την απλοποίηση.
    • Μέθοδος: Εμφανίζει τη σταθερή ένδειξη "Quine–McCluskey, ακριβής ελάχιστη κάλυψη".

Κάτω από τα διαγνωστικά, η ενότητα Πώς απλοποιήθηκε αναλύει τη μαθηματική πορεία:

  1. Πλήθος μεταβλητών: Εμφανίζει κείμενο ανάλογα με τις μεταβλητές, όπως "Η έκφραση χρησιμοποιεί ‹count› μεταβλητές (‹variables›), επομένως ο πίνακας αλήθειας έχει ‹rows› γραμμές." ή "Η έκφραση χρησιμοποιεί μία μεταβλητή, τη ‹variables›, επομένως ο πίνακας αλήθειας έχει ‹rows› γραμμές." ή "Η έκφραση δεν χρησιμοποιεί μεταβλητές, επομένως αξιολογείται σε μία μόνο σταθερά.".
  2. Κατανομή τιμών: "Ισούται με 1 στις γραμμές Σm(‹minterms›) και με 0 στις γραμμές ΠM(‹maxterms›).".
  3. Συγχώνευση: "Η συγχώνευση γειτονικών γραμμών με τιμή 1 όσο το δυνατόν περισσότερο αφήνει ‹count› πρωτεύοντες συνεπαγόμενους όρους: ‹list›.".
  4. Ουσιώδεις όροι: "Ουσιώδεις πρωτεύοντες συνεπαγόμενοι όροι — η μόνη εναπομένουσα κάλυψη για τουλάχιστον μία γραμμή: ‹list›." ή "Κανένας πρωτεύων συνεπαγόμενος όρος δεν είναι ουσιώδης: κάθε γραμμή με τιμή 1 μπορεί να καλυφθεί με περισσότερους από έναν τρόπους.".
  5. Κάλυψη υπολοίπων: "Οι γραμμές που παραμένουν ακάλυπτες κλείνουν με τους λιγότερους επιπλέον όρους: ‹list›." ή "Οι ουσιώδεις πρωτεύοντες συνεπαγόμενοι όροι καλύπτουν ήδη κάθε γραμμή με τιμή 1, επομένως το άθροισμα είναι πλήρες.".
  6. Παραγωγή POS: "Η εκτέλεση της ίδιας συγχώνευσης στις γραμμές με τιμή 0 δίνει το ελάχιστο γινόμενο αθροισμάτων ‹pos›.".
  7. Επαλήθευση: "Και οι δύο ελάχιστες μορφές ταυτίζονται με την αρχική έκφραση σε όλες τις ‹rows› γραμμές του πίνακα αλήθειας.".

Ο Πίνακας αλήθειας δείχνει τις στήλες για τις μεταβλητές, την αρχική έκφραση (στήλη Έκφραση) και την απλοποιημένη έκφραση (στήλη Ελάχιστο SOP) για την οπτική επιβεβαίωση της ταύτισης. Το κουμπί Αντιγραφή αποτελέσματος επιτρέπει την αντιγραφή της απλοποιημένης εξόδου στο πρόχειρο.

Κανόνες, Περιορισμοί και Διαχείριση Σφαλμάτων

Το εργαλείο λειτουργεί με βάση συγκεκριμένους κανόνες εισαγωγής και ορίων:

  • Όριο μεταβλητών: Υποστηρίζονται έως 6 διαφορετικές μεταβλητές. Εάν εισαχθούν περισσότερες, εμφανίζεται το σφάλμα: "Αυτή η έκφραση χρησιμοποιεί ‹count› διαφορετικές μεταβλητές· ο απλοποιητής υποστηρίζει έως 6.".
  • Όριο χαρακτήρων: Η έκφραση πρέπει να είναι κάτω από 2.000 χαρακτήρες. Σε αντίθετη περίπτωση, εμφανίζεται το μήνυμα: "Κρατήστε την έκφραση κάτω από 2,000 χαρακτήρες.".
  • Σταθερές εκφράσεις: Εάν η έκφραση αξιολογείται σε σταθερή τιμή, εμφανίζεται το μήνυμα "Αυτή η έκφραση είναι σταθερή: ισούται πάντα με ‹value›.". Συγκεκριμένα:
    • Για ταυτολογίες: "Αυτή η έκφραση είναι πάντα 1: κάθε συνδυασμός τιμών την καθιστά αληθή.".
    • Για αντιφάσεις: "Αυτή η έκφραση είναι πάντα 0: κανένας συνδυασμός τιμών δεν την καθιστά αληθή.".
  • Ήδη ελάχιστη μορφή: Εάν η εισαγωγή δεν επιδέχεται περαιτέρω απλούστευση, εμφανίζεται το μήνυμα: "Η έκφρασή σας είναι ήδη στη μορφή ελάχιστου αθροίσματος γινομένων.".

Άλλα μηνύματα σφαλμάτων περιλαμβάνουν:

  • Κενή εισαγωγή: "Εισαγάγετε μια έκφραση Boolean.".
  • Μη έγκυροι χαρακτήρες: "Το στοιχείο "‹char›" (θέση ‹position›) δεν είναι τελεστής Boolean, μεταβλητή ή σταθερά.".
  • Συντακτικά σφάλματα: "Λείπει ο τελεστέος από έναν τελεστή κοντά στη θέση ‹position› — ελέγξτε για εκκρεμές + · ή ⊕.".
  • Μη ισοσταθμισμένες παρενθέσεις: "Οι παρενθέσεις δεν είναι ισοσταθμισμένες — προσθέστε ή αφαιρέστε μια παρένθεση.".

Ιδιωτικότητα και Επεξεργασία Δεδομένων

Η επεξεργασία και η απλοποίηση των εκφράσεων πραγματοποιούνται τοπικά, απευθείας στο πρόγραμμα περιήγησης του χρήστη. Οι εκφράσεις δεν αποστέλλονται σε εξωτερικούς διακομιστές και δεν φεύγουν ποτέ από τη συσκευή του χρήστη.

Τομείς Εφαρμογής και Χρήστες

  • Φοιτητές Ψηφιακής Σχεδίασης: Χρησιμοποιούν το εργαλείο για να επαληθεύσουν τις ασκήσεις τους, να ελέγξουν τους πίνακες αλήθειας που κατασκεύασαν χειροκίνητα και να κατανοήσουν τη διαδικασία ελαχιστοποίησης Quine–McCluskey βήμα προς βήμα.
  • Μηχανικοί Υπολογιστών και Ηλεκτρολόγοι: Σχεδιαστές φυσικών κυκλωμάτων AND-OR ή OR-AND που συγκρίνουν τις μορφές SOP και POS για να επιλέξουν τη διάταξη που απαιτεί τις λιγότερες λογικές πύλες.
  • Προγραμματιστές Λογισμικού: Επαγγελματίες που επιθυμούν να απλοποιήσουν σύνθετες λογικές συνθήκες (όπως μακροσκελείς εντολές if) στον κώδικά τους, βελτιώνοντας την αναγνωσιμότητα και την ταχύτητα εκτέλεσης.

Συχνές Ερωτήσεις

Πώς βρίσκεται η ελάχιστη μορφή;
Το εργαλείο κατασκευάζει τον πλήρη πίνακα αλήθειας, συγχωνεύει τις γειτονικές γραμμές με τιμή 1 σε πρωτεύοντες συνεπαγόμενους όρους (μέθοδος Quine–McCluskey), κρατά τους ουσιώδεις και καλύπτει τις υπόλοιπες γραμμές με μια ακριβή ελάχιστη κάλυψη. Το αποτέλεσμα είναι εγγυημένα ελάχιστο για τη μορφή αθροίσματος γινομένων —δεν πρόκειται για ευρετική μέθοδο— και η ίδια διαδικασία στις γραμμές με τιμή 0 παράγει το γινόμενο αθροισμάτων.

Ποια είναι η διαφορά μεταξύ των αποτελεσμάτων SOP και POS;
Και οι δύο περιγράφουν την ίδια συνάρτηση. Το άθροισμα γινομένων (SOP) συνδέει με OR όρους AND, όπως AB' + BC, και αντιστοιχεί απευθείας σε κυκλώματα AND–OR· το γινόμενο αθροισμάτων (POS) συνδέει με AND παράγοντες OR, όπως (A + B)(B' + C), και αντιστοιχεί σε κυκλώματα OR–AND. Ανάλογα με τη συνάρτηση, η μία μορφή μπορεί να απαιτεί λιγότερες πύλες από την άλλη, επομένως το εργαλείο δείχνει πάντα και τις δύο.

Ποιες μορφές γραφής μιας έκφρασης είναι κατανοητές;
Υποστηρίζονται όλες οι κοινές συμβάσεις, με δυνατότητα ελεύθερης ανάμειξης: μηχανολογική μορφή (AB + A'C, με σιωπηρό AND και τον τόνο για το NOT), προγραμματιστική μορφή (A &&!B || C, A ^ B), λογικά σύμβολα (¬ ∧ ∨ ⊕ ⊼ ⊽) και απλές λέξεις (A AND B OR NOT C, NAND, NOR). Ακολουθίες πολλών γραμμάτων όπως ABC σημαίνουν A AND B AND C, και οι λέξεις AND, OR, NOT, XOR, NAND, NOR ερμηνεύονται πάντα ως τελεστές.

Γιατί υποστηρίζονται το πολύ 6 μεταβλητές;
Έξι μεταβλητές παράγουν ήδη έναν πίνακα αλήθειας 64 γραμμών, που είναι περίπου το όριο για να είναι ακόμα αναγνώσιμος και ελέγξιμος με το χέρι. Πέρα από αυτό, η ελαχιστοποίηση συνεχίζει να λειτουργεί θεωρητικά, αλλά η παραγωγή των βημάτων και ο πίνακας γύρω από τον οποίο είναι δομημένη αυτή η σελίδα παύουν να είναι χρήσιμα ως αποδεικτικά στοιχεία. Λογισμικό σχεδίασης λογικών κυκλωμάτων με έξοδο αρχείου είναι καταλληλότερο για συναρτήσεις με περισσότερες μεταβλητές.

Υπολογιστής Ανάλυσης σε Πρώτους ΠαράγοντεςΑναλύστε οποιονδήποτε ακέραιο αριθμό στους πρώτους παράγοντές του και δείτε το αντίστοιχο δέντρο παραγόντων.Μετατροπέας Δυαδικών/ΔεκαεξαδικώνΜετατρέψτε αριθμούς μεταξύ δυαδικού, δεκαεξαδικού, δεκαδικού και οκταδικού συστήματος — ή μετατρέψτε κείμενο σε byte.Υπολογιστής Ριζών ΠολυωνύμουΒρείτε κάθε πραγματική και μιγαδική ρίζα πολυωνύμου από ανεπτυγμένη έκφραση ή λίστα συντελεστών, με υπόλοιπα και ελέγχους σύγκλισης.