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.