La tarea es escribir código que pueda encontrar pequeñas fórmulas lógicas para sumas de bits. El desafío general es que su código encuentre la fórmula lógica proposicional más pequeña posible para verificar si la suma de variables binarias 0/1 y es igual a algún valor x. Llamemos a las variables...