Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Gratuito
l'accesso più veloce di browser!
 

Forma normale negativa

Indice Forma normale negativa

Nella logica booleana, una formula è in forma normale negativa (FNN), indicata anche come NNF (acronimo di Negation Normal Form) se l'operatore di negazione (\lnot) è applicato solo agli atomi.

12 relazioni: Algebra di Boole, Congiunzione logica, Disgiunzione logica, Distributività, Forma canonica (algebra di Boole), Forma normale congiuntiva, Forma normale disgiuntiva, Implicazione logica, Logica modale, Negazione (matematica), Riscrittura, Teoremi di De Morgan.

Algebra di Boole

L'algebra di Boole (anche detta algebra booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0.

Nuovo!!: Forma normale negativa e Algebra di Boole · Mostra di più »

Congiunzione logica

In matematica, la congiunzione logica (simbolo \land che si legge e) è un connettivo logico attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione chiamata congiunzione di A e B o congiunzione di A et B, che si indica con A\land B, la quale è vera soltanto nel caso in cui A e B siano entrambe vere, mentre è falsa in tutti gli altri casi possibili.

Nuovo!!: Forma normale negativa e Congiunzione logica · Mostra di più »

Disgiunzione logica

In matematica, la disgiunzione inclusiva o disgiunzione logica (simbolo \vee, che si legge o, talvolta indicato come e/o), è un connettivo logico attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione A\vee B chiamata A o B oppure chiamata A vel B, la quale è vera solo nel caso in cui almeno una delle due proposizioni da cui è formata A e B è vera mentre è falsa quando tutte e due sono false.

Nuovo!!: Forma normale negativa e Disgiunzione logica · Mostra di più »

Distributività

In matematica, e in particolare nell'algebra, la distributività (o proprietà distributiva) è una proprietà delle operazioni binarie che generalizza la ben nota legge distributiva valida per somma e prodotto tra numeri dell'algebra elementare.

Nuovo!!: Forma normale negativa e Distributività · Mostra di più »

Forma canonica (algebra di Boole)

La forma canonica, o forma normale di una funzione booleana è un modello di rappresentazione di un'espressione booleana ricavabile dall'analisi della propria tabella di verità.

Nuovo!!: Forma normale negativa e Forma canonica (algebra di Boole) · Mostra di più »

Forma normale congiuntiva

Nella logica booleana, una formula è in forma normale congiuntiva o congiunta (FNC), indicata anche come CNF (acronimo di Conjunctive Normal Form) se è una congiunzione di clausole, dove le clausole sono una disgiunzione di letterali.

Nuovo!!: Forma normale negativa e Forma normale congiuntiva · Mostra di più »

Forma normale disgiuntiva

Nella logica booleana, una formula è in forma normale disgiuntiva o disgiunta (FND), indicata anche come DNF (acronimo di Disjunctive Normal Form) se è una disgiunzione di clausole, dove le clausole sono una congiunzione di letterali.

Nuovo!!: Forma normale negativa e Forma normale disgiuntiva · Mostra di più »

Implicazione logica

Il termine implicazione logica si riferisce al legame che esiste tra una proposizione (antecedente) ed un'altra proposizione (conseguente) in modo da metterne in relazione i rispettivi valori di verità.

Nuovo!!: Forma normale negativa e Implicazione logica · Mostra di più »

Logica modale

Nell'ambito della logica formale, si indica come logica modale una qualsiasi logica in cui è possibile esprimere il "modo" in cui una proposizione è vera o falsa.

Nuovo!!: Forma normale negativa e Logica modale · Mostra di più »

Negazione (matematica)

In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione.

Nuovo!!: Forma normale negativa e Negazione (matematica) · Mostra di più »

Riscrittura

In matematica, informatica e logica, la riscrittura è la sostituzione di un oggetto al posto di una parte di un altro oggetto, secondo una precisa regola formale.

Nuovo!!: Forma normale negativa e Riscrittura · Mostra di più »

Teoremi di De Morgan

I teoremi di De Morgan, o leggi di De Morgan sono relativi alla logica booleana e stabiliscono relazioni di equivalenza tra gli operatori di congiunzione logica "and" e "or".

Nuovo!!: Forma normale negativa e Teoremi di De Morgan · Mostra di più »

Riorienta qui:

FNN.

UscenteArrivo
Ehi! Siamo su Facebook ora! »