00.Intro Reti Logiche

Introduzione

Teorema di espansione di Shannon

$f(x_1,x_2...x_n)=!x_{1}f(0,x_2,...,x_n)+x_{1}f(1,x_2,...,x_3)$ (applicabile iterativamente) dualmente: $f(x_1,x_2...x_n)=(!x_1+f(0,x_2,...,x_n))(x_1+f(1,x_2,...,x_3))$

Queste formule, applicate iterativamente, ci permettono di scrivere una qualsiasi formula booleana come Somma di prodotti (Prima forma canonica) o Prodotti di somme (Seconda forma canonica) senza passare dalla classica tabella già utilizzata negli scorsi corsi.

Mintermine

Mintermine è un termine prodotto in cui compaiono tutti i letterali corrispondenti a tutte le variabili della funzione e tale per cui la funzione booleana assume valore 1 in corrispondenza alla configurazioni delle veriabili definite dai letterali.

Maxtermine

Maxtermine è un termine somma in cui compaiono tutti i letterali corrispondenti a tutte le variabili della funzione e tale per cui la funzione booleana assume valore 0 in corrispondenza alla configurazioni delle veriabili definite dai letterali.