Indice
14 relazioni: Algebra di Boole, Associatività, Commutatività, Congiunzione logica, Connettivo logico, Disgiunzione esclusiva, Distributività, Idempotenza, Leggi di De Morgan, Logica, Proposizione (logica), Tabella della verità, Teorema dell'assorbimento, Unione (insiemistica).
- Connettivi logici
Algebra di Boole
Lalgebra di Boole (anche detta algebra booleana, logica 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.
Vedere Disgiunzione logica e Algebra di Boole
Associatività
In matematica, lassociatività (o proprietà associativa) è una proprietà che può avere un'operazione binaria. Significa che l'ordine di valutazione è irrilevante se l'operazione appare più di una volta in un'espressione.
Vedere Disgiunzione logica e Associatività
Commutatività
In matematica, un'operazione binaria * definita su un insieme S è commutativa se e solo se Se questa proprietà non è valida per ogni coppia di elementi, l'operazione * è quindi detta non commutativa.
Vedere Disgiunzione logica e Commutatività
Congiunzione logica
In logica, una congiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione chiamata appunto congiunzione.
Vedere Disgiunzione logica e Congiunzione logica
Connettivo logico
Un connettivo logico o operatore logico (nel contesto dell'algebra di Boole, i connettivi logici sono detti anche operatori booleani), è 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.
Vedere Disgiunzione logica e Connettivo logico
Disgiunzione esclusiva
La disgiunzione esclusiva "o" (simboli usuali:dot oppure XOR) è un connettivo (o operatore) logico che produce in uscita VERO (V) se e solo se gli ingressi sono diversi tra di loro.
Vedere Disgiunzione logica e Disgiunzione esclusiva
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.
Vedere Disgiunzione logica e Distributività
Idempotenza
In informatica, in matematica, e in particolare in algebra, lidempotenza è una proprietà delle funzioni per la quale applicando molteplici volte una funzione data, il risultato ottenuto è uguale a quello derivante dall'applicazione della funzione un'unica volta.
Vedere Disgiunzione logica e Idempotenza
Leggi di De Morgan
Le leggi di De Morgan, o teoremi di De Morgan, sono relative alla logica booleana e stabiliscono relazioni di equivalenza tra gli operatori di congiunzione e disgiunzione logica.
Vedere Disgiunzione logica e Leggi di De Morgan
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio delle relazioni di inferenza tra proposizioni, cioè lo studio delle leggi del ragionamento e della dimostrazione, generalmente definita come una branca della filosofia e la scienza dell'argomentazione.
Vedere Disgiunzione logica e Logica
Proposizione (logica)
In filosofia e logica moderna, una proposizione è una frase, ossia un'espressione linguistica dotata di significato, a cui è sempre collegato uno dei due valori di verità: vero (V) o falso (F).
Vedere Disgiunzione logica e Proposizione (logica)
Tabella della verità
Le tabelle della verità (o tabelle logiche) sono tabelle usate nella logica per determinare se, attribuiti i valori di verità alle proposizioni che la compongono, una determinata proposizione è vera o falsa.
Vedere Disgiunzione logica e Tabella della verità
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.
Vedere Disgiunzione logica e Teorema dell'assorbimento
Unione (insiemistica)
In matematica, e in particolare in teoria degli insiemi, esiste un'operazione detta unione (simbolo cup) di insiemi. Il simbolo cup deriva da U, l'iniziale della parola "unione".
Vedere Disgiunzione logica e Unione (insiemistica)
Vedi anche
Connettivi logici
- Congiunzione logica
- Connettivo logico
- Disgiunzione esclusiva
- Disgiunzione logica
- Implicazione inversa
- Implicazione logica
- Negazione (matematica)
- Non-implicazione
- Non-implicazione inversa
- Operatore di Sheffer
- Operatore modale
- Se e solo se
Conosciuto come Disgiunzione inclusiva, Disgiunzione logica (simbolo), ∨.