En la clase ac_08 segundo ~01:31:40 se menciona la cantidad de ANDs y ORs que se precisarían para una ROM de m entradas y n salidas sin usar un decodificador para ahorrar un nivel.
En particular menciona (2^m)*n ANDs de (2^m)+1 entradas, y n ORs de 2^m entradas.
La pregunta es si los ANDs deberían ser de (2^m)+1 entradas o de m+1 entradas.
En el ejemplo de la imagen considero m = n = 2 y se ve que uso ANDs de 2+1 entradas y queda algo coherente.