Μετατροπέας Boolean Εκφράσεων

Δυνατότητες και περιορισμοί

Τι κάνει αυτό το εργαλείο

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

Παράδειγμα εργασίας

Εισάγετε την έκφραση A && (B || !C). Ο πίνακας αληθείας θα περιέχει αληθείς γραμμές για τους συνδυασμούς 100, 110 και 111 (όπου 1 = true, 0 = false για A, B, C αντίστοιχα). Η DNF ξεκινά ως: (A && !B && !C) || (A && B && !C) || (A && B && C).

Πώς γίνεται η επεξεργασία

Η ανάλυση και η δημιουργία πίνακα εκτελούνται τοπικά στον browser. Η προτεραιότητα τελεστών είναι: πρώτα NOT, μετά AND, μετά OR. Η σελίδα δεν χρησιμοποιεί eval ούτε εκτελεί τον κώδικα ως JavaScript. Μη υποστηριζόμενοι χαρακτήρες, συντακτικά λάθη και αταίριαστες παρενθέσεις απορρίπτονται με μήνυμα σφάλματος.

Περιορισμοί

• Δέχεται το πολύ έξι διαφορετικές μεταβλητές, που παράγουν έως 64 γραμμές πίνακα.
• Δεν υποστηρίζει τελεστές XOR, συνεπαγωγή, ισοδυναμία ή αριθμητικές σταθερές 0/1.
• Δεν υποστηρίζει διαγράμματα κυκλωμάτων.
• Οι κανονικές μορφές δεν είναι ελαχιστοποιημένες.

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

Μπορώ να χρησιμοποιήσω ελληνικούς χαρακτήρες για μεταβλητές;

Όχι. Οι μεταβλητές πρέπει να είναι λατινικοί χαρακτήρες A-Z ή a-z. Οι ελληνικοί χαρακτήρες ή άλλα σύμβολα θα προκαλέσουν σφάλμα.

Γιατί η έκφραση με περισσότερες από έξι μεταβλητές απορρίπτεται;

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

Οι μορφές DNF και CNF είναι ελαχιστοποιημένες;

Όχι. Το εργαλείο παράγει τις πλήρεις κανονικές μορφές χωρίς αλγεβρική απλοποίηση. Για ελαχιστοποίηση χρησιμοποιήστε το εργαλείο χάρτη Karnaugh, αν υποστηρίζεται.