<sectionid="description"> Una tabla de verdad binaria de entrada k es un mapa de k bits de entrada (dígitos binarios, 0 [falso] o 1 [verdadero]) a 1 bit de salida. Por ejemplo, las tablas de verdad binarias de 2 entradas para las funciones lógicas AND y XOR son: <p> x y x AND y000010100111x y x XOR y000011101110Cuántas tablas de verdad binarias de 6 entradas, τ, satisfacen la fórmula </p><p> τ (a, b, c, d, e, f) AND τ (b, c, d, e, f, a XOR (b AND c)) = 0 para todas las entradas de 6 bits (a, b, c, d, e, f)? </p></section>