É necessário projetar um circuito digital que realize a multiplicação de dois números binários, tendo cada número dois bits, usando o menor número possível de portas lógicas. A saída desse circuito deve ser formada por um número binário de três dígitos (A2A1A0, onde A0 é o bit menos significativo e A2 é o mais significativo), mais o bit de erro de transbordo, também chamado overflow. Um possível circuito para a expressão lógica que determina o valor de bit utiliza somente três portas NAND.