Zadanie polega na napisaniu kodu, który może znaleźć małe logiczne formuły dla sum bitów. Ogólne wyzwanie polega na tym, aby Twój kod znalazł najmniejszą możliwą logiczną formułę zdań, aby sprawdzić, czy suma y zmiennych binarnych 0/1 równa się pewnej wartości x. Nazwijmy zmienne x1, x2, x3, x4...