Contenuto
- Definizione - Che cosa significa Disjunctive Normal Form (DNF)?
- Un'introduzione a Microsoft Azure e Microsoft Cloud | In questa guida imparerai cos'è il cloud computing e in che modo Microsoft Azure può aiutarti a migrare e gestire la tua azienda dal cloud.
- Techopedia spiega Disjunctive Normal Form (DNF)
Definizione - Che cosa significa Disjunctive Normal Form (DNF)?
La forma disgiuntiva normale (DNF) è la normalizzazione di una formula logica nella matematica booleana. In altre parole, si dice che una formula logica sia in forma disgiuntiva normale se è una disgiunzione di congiunzioni con ogni variabile e la sua negazione è presente una volta in ogni congiunzione. Tutte le forme normali disgiuntive non sono uniche, poiché tutte le forme normali disgiuntive per la stessa proposizione sono reciprocamente equivalenti.
La forma disgiuntiva normale è ampiamente usata in aree come la dimostrazione di teoremi automatizzati.
Un'introduzione a Microsoft Azure e Microsoft Cloud | In questa guida imparerai cos'è il cloud computing e in che modo Microsoft Azure può aiutarti a migrare e gestire la tua azienda dal cloud.
Techopedia spiega Disjunctive Normal Form (DNF)
Una formula logica è in forma disgiuntiva normale se e solo se esiste un'esistenza di alternanza di una o più congiunzioni di uno o più letterali. Una formula è considerata in piena forma disgiuntiva normale se tutte le variabili coinvolte sono rappresentate una sola volta in ogni clausola. Simile alla forma normale congiuntiva, gli operatori proposizionali in forma normale disgiuntiva sono gli stessi: AND, OR e NOT.
Tutte le formule logiche possono essere convertite in una forma normale disgiuntiva equivalente. Tuttavia, in alcuni casi, è possibile l'esplosione esponenziale della funzione logica a causa della conversione in forma normale disgiuntiva. Un altro punto saliente è che qualsiasi funzione booleana unica può essere rappresentata da una sola e una forma normale disgiuntiva completa unica. Con l'aiuto di tecniche come il metodo della tabella della verità, alberi della verità o una tabella di equivalenze logiche, è possibile generare una forma normale disgiuntiva per le formule logiche. K-DNF, una variazione della forma disgiuntiva normale, è ampiamente usato e popolare nello studio della complessità computazionale.