Strumenti Utente

Strumenti Sito


sezione_3c

Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

Link a questa pagina di confronto

Entrambe le parti precedenti la revisioneRevisione precedente
Prossima revisione
Revisione precedente
sezione_3c [2020/01/28 17:24] – [Proprietà e teoremi dell'algebra di Boole] adminsezione_3c [2023/02/23 13:59] (versione attuale) – [Proprietà e teoremi dell'algebra di Boole] admin
Linea 29: Linea 29:
     * la negazione o complementazione logica NOT     * la negazione o complementazione logica NOT
  
-Con gli operatori logici è possibile definire una espressione logica di una funzione (al posto della tabella della verità). Negli assiomi, è più in generale per ogni espressione logica, vale il principio della **dualità**: per ogni espressione logica vera anche la sua duale, ottenuta scambiando AND con OR e 0 con 1, risulta vera.+Con gli operatori logici è possibile definire una espressione logica di una funzione (al posto della tabella della verità). Negli assiomi, più in generale per ogni espressione logica, vale il principio della **dualità**: per ogni espressione logica vera anche la sua duale, ottenuta scambiando AND con OR e 0 con 1, risulta vera.
  
 La figura 2 è particolarmente interessante perché mostra una interpretazione circuitale degli operatori logici appena definiti (per gli interruttori 0 corrisponde ad aperto e 1 a chiuso, per la lampada 0 a spento e 1 ad acceso). La figura 2 è particolarmente interessante perché mostra una interpretazione circuitale degli operatori logici appena definiti (per gli interruttori 0 corrisponde ad aperto e 1 a chiuso, per la lampada 0 a spento e 1 ad acceso).
Linea 45: Linea 45:
 |primo teorema assorbimento|`A+(A*B)=A`|`A*(A+B)=A`| |primo teorema assorbimento|`A+(A*B)=A`|`A*(A+B)=A`|
 |secondo teorema assorbimento|`A+(bar A *B)=A+B`|`A*(bar A +B)= A*B`| |secondo teorema assorbimento|`A+(bar A *B)=A+B`|`A*(bar A +B)= A*B`|
-|teorema di De Morgan|`bar(A+B)=bar A * bar B`|`bar (A*B)=bar A + bar B`|+|teorema di De Morgan((vale anche per 3 o più termini))|`bar(A+B)=bar A * bar B`|`bar (A*B)=bar A + bar B`|
  
 NB Quando si usano più operatori logici le precedenze sono: NOT -> AND -> OR NB Quando si usano più operatori logici le precedenze sono: NOT -> AND -> OR
Linea 145: Linea 145:
  
 Volendo è possibile seguire una procedura per ridurre funzioni logiche espresse come somma di prodotti (o prodotto di somme) con sole porte NAND o NOR come negli esempi 8, 9 e 10. Per farlo bisogna: Volendo è possibile seguire una procedura per ridurre funzioni logiche espresse come somma di prodotti (o prodotto di somme) con sole porte NAND o NOR come negli esempi 8, 9 e 10. Per farlo bisogna:
-  * esprimere la funzione logica come somma di prodotti o come (prodotto di somme)+  * esprimere la funzione logica come somma di prodotti o come prodotto di somme
   * fare una doppia negazione della funzione   * fare una doppia negazione della funzione
   * applicare il teorema di De Morgan per ottenere un'espressione con solo NAND o solo NOR   * applicare il teorema di De Morgan per ottenere un'espressione con solo NAND o solo NOR
Linea 195: Linea 195:
 ===== Extra ===== ===== Extra =====
  
-  * non solo teoria 3: un gioco dove bisogna indovinare una combinazione di bit (stile Mastermind) e una serratura a combinazione digitale.+  * non solo teoria 3: un gioco dove bisogna indovinare una combinazione di bit (stile Mastermind) e una serratura a combinazione digitale ({{ :non_solo_teoria_4_mastermind.zip |qui la simulazione}}).
  
  
sezione_3c.1580232251.txt.gz · Ultima modifica: 2020/07/03 15:58 (modifica esterna)