L'algoritmo di Tison è un algoritmo che permette la riduzione e la semplificazione di funzioni logiche per la determinazione della somma minima. Si compone dei seguenti passi:
Si elencano le variabili bivariate della funzione, Si calcolano i consensi rispetto ad ogni variabile bivariata presente e si sommano alla funzione in esame, Si semplifica (se possibile) la funzione ricavando la forma minima.
Categoria:Algebra di Boole Categoria:Logica matematica