Atualmente, os projectistas de circuitos lógicos digitais procuram obter o máximo de precisão possível para os circuitos projectados, com o mínimo de tempo consumido e, finalmente, com o mínimo de esforço possível. A superação de todos estes condicionalismos não pode ser conseguida através de abordagens tradicionais, mesmo quando se utilizam mapas de Karnaugh, especialmente quando se utilizam mais de 4 variáveis de entrada. O problema mais importante que os projectistas enfrentam é selecionar quais e como são possíveis as soluções óptimas, tendo em consideração a ordem das variáveis para decidir quantos circuitos lógicos digitais equivalentes podem ser extraídos do original. Este livro baseia-se na abordagem do Diagrama Binário de Decisão para representar de forma simbólica um conjunto de variáveis de entrada. É largamente utilizada no domínio da verificação formal. A ordenação das variáveis é um passo muito importante no processo de otimização do Diagrama de Decisão Binário. Uma boa ordenação das variáveis reduzirá consideravelmente o tamanho de um Diagrama de Decisão Binária. Esperamos que goste de ler o fruto dos nossos esforços e que este livro o ajude a obter uma perspetiva geral sobre os Diagramas de Decisão Binários.