# Introduzione ## Teorema di espansione di Shannon $f(x_1,x_2...x_n)=!x_1f(0,x_2,...,x_n)+x_1f(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.