Os sistemas polinomiais s o ferramentas fundamentais para a resolu o de problemas dif ceis em ci ncia e engenharia, como a rob tica, o racioc nio autom tico, a intelig ncia artificial e o processamento de sinais. Do mesmo modo, desde os prim rdios da era digital, as vari veis booleanas t m sido a base das opera es inform ticas. Assim, a aplica o de t cnicas alg bricas comuns lgebra booleana atualmente utilizada como um m todo para resolver...