I sistemi polinomiali sono strumenti fondamentali per la soluzione di problemi difficili in campo scientifico e ingegneristico, come la robotica, il ragionamento automatico, l'intelligenza artificiale e l'elaborazione dei segnali. Allo stesso modo, fin dai primi giorni dell'era digitale, le variabili booleane sono state alla base delle operazioni dei computer. Pertanto, l'applicazione delle comuni tecniche algebriche all'algebra booleana viene ora...