teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] ] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di una funzionebooleana: v. circuiti logici: I 619 e. ◆ [FAF] T. invertibile e inverso: un t. invertibile e quello tale che, se si scambia ...
Leggi Tutto
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] ai valori di v. delle proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzionebooleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logica proposizionale, v. logica: III 483 e ...
Leggi Tutto
In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] proposte da G. Boole (algebra booleana; ➔ Boole, George), non solo 0; x ∙ 1 = x; x ∙ x = x; x ∙ x̄ = 0.
Una funzione logica di n variabili indipendenti può essere definita mediante una relazione analitica nella quale alle n variabili sono applicate ...
Leggi Tutto
Elettronica
FFrancesco Carassa e Emilio Gatti
di Francesco Carassa e Emilio Gatti
Elettronica
Sommario: 1. Introduzione. 2. Sviluppo storico. 3. Lo spettro delle onde elettromagnetiche. 4. Generalità [...] due valori convenzionalmente indicati con 0 e 1.
La particolare funzione attuata dal circuito che abbiamo considerato ed esplicitata in tabella può essere scritta, con la simbologia dell'algebra booleana: Xu = -X -1- -+- -X-2 = Ù1 • Ù2 e si chiama ...
Leggi Tutto
pòrta lògica Circuito elettronico al quale è demandato il compito di eseguire operazioni elementari dell'algebra booleana (NOT, AND, OR ecc.) all'interno di circuiti più complessi. Le p.l. sono le unità [...] fondamentali dei circuiti integrati e sono classificate in funzione del tipo di semiconduttore utilizzato per la loro realizzazione. ...
Leggi Tutto