2
Implémenter un superoptimiseur pour l'ajout
La tâche consiste à écrire du code qui peut trouver de petites formules logiques pour des sommes de bits. Le défi global est que votre code trouve la plus petite formule logique propositionnelle possible pour vérifier si la somme de y variables binaires 0/1 est égale à une valeur x. …