Es más fácil comenzar con el binario y no descodificarlo primero.
Notará que mayor que 7 es un caso especial, ya que implica que la ejecución en un sumador de tres bits será 1 si y solo si la suma de las dos entradas de tres bits es mayor que 7.
La ejecución desde una etapa sumadora es 1 si al menos dos de las tres entradas (Cin, A, B) son 1, y no nos importa el término de la suma, por lo que podemos escribir, Cout = AB + C (A + B), que hago para ser dos 'o' y dos 'y' puertas por bit (Excepto el LSB donde se sabe que C es 0 y esto degenera a una sola puerta).
Donde A, B son los dos bits de entrada y C es el acarreo (0 para la primera etapa).
Sea F (A, B, C) el elemento lógico descrito anteriormente, luego Out = F (a [2], b [2], F (a [1], b [1], F (a [0], b [0], 0))). Out será uno solo si la suma excede de 7.
5 y términos, 4 o términos, lógica puramente combinatoria, pero tenga en cuenta que la salida será propensa a problemas técnicos en las transiciones de entrada, ya que hay caminos de carrera.