A tarefa é escrever código que possa encontrar pequenas fórmulas lógicas para somas de bits. O desafio geral é que seu código encontre a menor fórmula lógica proposicional possível para verificar se a soma das variáveis binárias 0/1 de y é igual a algum valor x. Vamos chamar as variáveis x1,...