b'\n_START_ARTICLE_\nPorta logica\n_START_PARAGRAPH_\nUna porta logica, in elettronica digitale e informatica, \xc3\xa8 un circuito digitale in grado di implementare (cio\xc3\xa8 di realizzare, simulandone la "logica matematica" mediante opportuni controlli su segnali elettrici) una particolare operazione logica di una o pi\xc3\xb9 variabili booleane.\n_START_SECTION_\nTabelle delle verit\xc3\xa0\n_START_PARAGRAPH_\nLe tabelle di verit\xc3\xa0 sono un metodo semplice per capire tutte le possibili combinazioni che possiamo avere in ingresso.\n_START_SECTION_\nPorte universali\n_START_PARAGRAPH_\nCon le porte logiche AND, OR e NOT \xc3\xa8 possibile realizzare qualsiasi funzione booleana: si dice anche che {AND,OR,NOT} \xc3\xa8 un insieme funzionalmente completo._NEWLINE_Si pu\xc3\xb2 verificare facilmente che la porta NAND da sola e la porta NOR da sola, costituiscono due insiemi funzionalmente completi: la NAND \xc3\xa8 definita come NOT-AND, per questo negando una NAND si pu\xc3\xb2 ottenere una AND; utilizzando il teorema di De Morgan abbiamo che:_NEWLINE_x NAND y = NOT (x AND y) = (NOT x) OR (NOT y)_NEWLINE_e perci\xc3\xb2, possiamo ottenere una OR negando gli ingressi della NAND. Ricapitolando, tramite NAND e NOT possiamo ottenere una AND e una OR; ma d\'altra parte con una NAND possiamo ottenere una NOT come segue_NEWLINE_x NAND 1 = NOT (x AND 1) = NOT x_NEWLINE_perci\xc3\xb2 abbiamo dimostrato che con una NAND si possono ottenere AND, OR e NOT e ne segue che {NAND} \xc3\xa8 un insieme funzionalmente completo!_NEWLINE_Similmente si pu\xc3\xb2 fare per la NOR._NEWLINE_Lavorare con la sola NAND o la sola NOR pu\xc3\xb2 essere utile ai fini pratici perch\xc3\xa9 con un solo tipo di porta \xc3\xa8 possibile realizzare qualsiasi circuito, ovviamente a discapito di una spesa di porte maggiore di quella che si avrebbe con AND, OR e NOT, o almeno questo avviene nella maggior parte dei casi. Siccome lavorare con le porte universali \xc3\xa8 molto importante, \xc3\xa8 bene conoscere le propriet\xc3\xa0 algebriche degli operatori NAND e NOR: algebricamente indichiamo l\'operatore NAND con \xe2\x86\x91 e l\'operatore NOR con \xe2\x86\x93.'