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

Teoremi di De Morgan

Indice 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".

10 relazioni: Algebra di Boole, Augustus De Morgan, Circuito digitale, Congiunzione logica, Connettivo logico, Dualità (matematica), Funzione booleana, Logica proposizionale, Teorema dell'assorbimento, Teorema di Shannon (elettronica).

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!!: Teoremi di De Morgan e Algebra di Boole · Mostra di più »

Augustus De Morgan

A lui si devono i teoremi di De Morgan che sono alla base dei sistemi logici elettronici ed informatici.

Nuovo!!: Teoremi di De Morgan e Augustus De Morgan · Mostra di più »

Circuito digitale

In elettronica un circuito digitale è un circuito elettronico il cui funzionamento è basato su un numero finito di livelli di tensione elettrica.

Nuovo!!: Teoremi di De Morgan e Circuito digitale · 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!!: Teoremi di De Morgan e Congiunzione logica · Mostra di più »

Connettivo logico

Un connettivo logico, o operatore logico, è un elemento grammaticale di collegamento che instaura fra due proposizioni A e B una qualche relazione che dia origine ad una terza proposizione C con un valore vero o falso, in base ai valori delle due proposizioni fattori ed al carattere del connettivo utilizzato.

Nuovo!!: Teoremi di De Morgan e Connettivo logico · Mostra di più »

Dualità (matematica)

In matematica il tema della dualità è importante e pervasivo, ma non vi è una definizione universalmente accettata in grado di unificare tutte le sue accezioni.

Nuovo!!: Teoremi di De Morgan e Dualità (matematica) · Mostra di più »

Funzione booleana

In matematica e in informatica, una funzione booleana a n variabili è una funzione: di variabili booleane x_i che assumono valori nello spazio booleano B.

Nuovo!!: Teoremi di De Morgan e Funzione booleana · Mostra di più »

Logica proposizionale

La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi.

Nuovo!!: Teoremi di De Morgan e Logica proposizionale · Mostra di più »

Teorema dell'assorbimento

Nell'algebra di Boole vale il teorema dell'assorbimento, utilizzato nella sintesi e nell'analisi di un circuito combinatorio in elettronica digitale.

Nuovo!!: Teoremi di De Morgan e Teorema dell'assorbimento · Mostra di più »

Teorema di Shannon (elettronica)

In elettronica digitale il teorema di Shannon è un importante teorema riguardante le funzioni booleane principalmente usato per scomporre una funzione complessa in funzioni più semplici o per ottenere un'espressione canonica da una tabella della verità o da un'espressione non canonica.

Nuovo!!: Teoremi di De Morgan e Teorema di Shannon (elettronica) · Mostra di più »

Riorienta qui:

Formule di De Morgan, Legge di De Morgan, Leggi di De Morgan, Leggi di de Morgan, Teoremi di de Morgan.

UscenteArrivo
Ehi! Siamo su Facebook ora! »