Técnica de sintetização de matrizes booleanas por índice por simplificação de funções lógicas - BRITO, Benedito Corrêa de (1978)