In elettronica e informatica, denominazione internazionale, composta dalla N di NOT e da AND, dell’operazione di inversione (o negazione) del prodotto logico AND tra variabilibooleane, della funzione [...] corrispondente, e anche del circuito che la realizza. Come avviene per l’altra funzione logica universale NOR, tramite l’uso ripetuto della funzione NAND si realizza qualsiasi funzione binaria; perciò ...
Leggi Tutto
In elettronica e in informatica, denominazione di uso internazionale dell’operazione di somma logica tra variabilibooleane, della funzione corrispondente, e anche del circuito che la realizza (➔ logici, [...] circuiti). Per l’OR esclusivo ➔ XOR ...
Leggi Tutto
In informatica e in elettronica, denominazione di uso internazionale dell’operazione di prodotto logico tra variabilibooleane, della funzione corrispondente e anche del circuito che la realizza. ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] l'insieme delle soluzioni possibili (per es., l'insieme di tutte le assegnazioni di valori di verità alle variabili della formula booleana) è esponenziale, mentre la verifica del fatto che una data soluzione soddisfi la proprietà richiesta (per es ...
Leggi Tutto