2
Implemente superoptimizador para adição
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 …