Programação Genérica utilizando Soma de Produtos Verdadeiros
