Cada fila está conectada a la entrada de una puerta AND, y cada columna a una variable de entrada o a su complemento.