Πίνακας περιεχομένων:
- Ορισμός - Τι σημαίνει Διαφορετική Κανονική Μορφή (DNF);
- Η Techopedia εξηγεί τη Συνδυασμένη Κανονική Μορφή (DNF)
Ορισμός - Τι σημαίνει Διαφορετική Κανονική Μορφή (DNF);
Η διακριτική κανονική μορφή (DNF) είναι η ομαλοποίηση μιας λογικής φόρμουλας στα μαθηματικά Boolean. Με άλλα λόγια, ένας λογικός τύπος λέγεται ότι είναι σε διαζευκτική κανονική μορφή εάν είναι μια αποσύνδεση των συζευγμάτων με κάθε μεταβλητή και η άρνηση της υπάρχει μία φορά σε κάθε συνδυασμό. Όλες οι διαζευκτικές κανονικές μορφές είναι μη μοναδικές, καθώς όλες οι διαζευκτικές κανονικές μορφές για την ίδια πρόταση είναι αμοιβαία ισοδύναμες.
Η διαζευκτική κανονική μορφή χρησιμοποιείται ευρέως σε τομείς όπως η αυτοματοποιημένη θεώρηση.
Η Techopedia εξηγεί τη Συνδυασμένη Κανονική Μορφή (DNF)
Ένας λογικός τύπος είναι σε διαζευκτική κανονική μορφή αν και μόνο αν υπάρχει μια εναλλαγή μιας ή περισσοτέρων συζυγιών ενός ή περισσότερων κυριοτέρων. Μια φόρμουλα θεωρείται ως σε πλήρη διαχωριστική κανονική μορφή εάν όλες οι σχετικές μεταβλητές αντιπροσωπεύονται μόνο μία φορά σε κάθε ρήτρα. Παρόμοια με την συνηθισμένη κανονική μορφή, οι προτεινόμενοι χειριστές σε διαζευκτική κανονική μορφή είναι ίδιοι: ΚΑΙ, OR και NOT.
Όλοι οι λογικοί τύποι μπορούν να μετατραπούν σε ισοδύναμη διαχωριστική κανονική μορφή. Εντούτοις, σε ορισμένες περιπτώσεις είναι δυνατή η εκθετική έκρηξη της λογικής λειτουργίας λόγω της μετατροπής σε διαζευκτική κανονική μορφή. Ένα άλλο σημαντικό σημείο είναι ότι κάθε μοναδική λειτουργία Boolean μπορεί να αναπαρασταθεί μόνο από μία και μοναδική πλήρη διαχωριστική κανονική μορφή. Με τη βοήθεια τεχνικών όπως η μέθοδος πίνακα αλήθειας, τα δέντρα αλήθειας ή ένας πίνακας λογικών ισοδυναμιών, μπορεί να δημιουργηθεί διαζευκτική κανονική μορφή για λογικούς τύπους. Το K-DNF, μια παραλλαγή της διαζευκτικής κανονικής μορφής, χρησιμοποιείται ευρέως και είναι δημοφιλές στη μελέτη της υπολογιστικής πολυπλοκότητας.
