Um número N é representado por 4 bits, e!$ (x_3 \, x_2 \, x_1 \, x_0)_2 !$ é a representação na base 2 desse número. Deseja-se implementar uma lógica combinacional com esses 4 bits para verificar se o número N é divisível por 4. A função Y, que resulta em 1 se N é divisível por 4, e resulta em 0 caso contrário, é implementada na forma mais simplificada através de: