Περιεχόμενο
- Ορισμός - Τι σημαίνει Συνώνυμη Κανονική Μορφή (CNF);
- Εισαγωγή στη Microsoft Azure και το Microsoft Σε αυτό τον οδηγό θα μάθετε τι είναι το cloud computing και πώς η Microsoft Azure μπορεί να σας βοηθήσει να μεταφέρετε και να εκτελέσετε την επιχείρησή σας από το cloud.
- Η Techopedia εξηγεί την Συνδυασμένη Κανονική Μορφή (CNF)
Ορισμός - Τι σημαίνει Συνώνυμη Κανονική Μορφή (CNF);
Η συνήθης κανονική μορφή (CNF) είναι μια προσέγγιση της λογικής Boolean που εκφράζει τους τύπους ως συζεύξεις των ρητρών με ένα AND ή OR. Κάθε ρήτρα που συνδέεται με συνδυασμό, ή AND, πρέπει να είναι είτε κυριολεκτική είτε να περιέχει διακεκομμένη ή χειριστή OR. Το CNF είναι χρήσιμο για την αυτοματοποιημένη θεώρηση.
Εισαγωγή στη Microsoft Azure και το Microsoft Σε αυτό τον οδηγό θα μάθετε τι είναι το cloud computing και πώς η Microsoft Azure μπορεί να σας βοηθήσει να μεταφέρετε και να εκτελέσετε την επιχείρησή σας από το cloud.
Η Techopedia εξηγεί την Συνδυασμένη Κανονική Μορφή (CNF)
Σε συνηθισμένη κανονική μορφή, οι δηλώσεις στη λογική Boolean είναι συζεύξεις των ρητρών με ρήτρες των διαχωρισμών. Με άλλα λόγια, μια δήλωση είναι μια σειρά από ΙΑΠ που συνδέονται από τους ΝΔ.
Για παράδειγμα:
(Α ή Β) και (C ή D)
(Α Ή Β) ΚΑΙ (ΟΧΙ C Ή Β)
Οι ρήτρες μπορεί επίσης να είναι κυριολεκτικές:
A OR B
Α ΚΑΙ Β
Τα ρήματα θεωρούνται στο CNF ως συσχέτιση των κυριολεκτικών ρητρών και των συζυγιών που τυχαίνει να έχουν μία μόνο ρήτρα. Είναι δυνατή η μετατροπή των δηλώσεων σε CNF που είναι γραμμένες σε άλλη μορφή, όπως η διαζευκτική κανονική μορφή.