A B C D CD AB Q

0 0 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 1 0 0 0
0 0 1 0 0 0 0 1 0 0 0
0 0 1 1 1 0 0 0 0 0 0
0 1 0 0 0 1 0 0 0 0 0
0 1 0 1 0 1 0 1 0 0 0
0 1 1 0 0 1 0 1 0 0 0
0 1 1 1 1 1 0 0 1 0 1
1 0 0 0 0 1 0 0 0 0 0
1 0 0 1 0 1 0 1 0 0 0
1 0 1 0 0 1 0 1 0 0 0
1 0 1 1 1 1 0 0 1 0 1
1 1 0 0 0 0 1 0 0 0 0
1 1 0 1 0 0 1 1 0 1 1
1 1 1 0 0 0 1 1 0 1 1
1 1 1 1 1 0 1 0 0 0 0
A B C D
Variable de salida = BC t AB variable de entrada

Y= ABCD t ABCD t ABCD t ABCD

Y= CD (AB t AB) t AB ( CD t CD)
Y= CD (A t B ) t AB (C t D)
Y= ( A t B) CD t ( C t D) AB