Al giorno d'oggi, i progettisti di circuiti logici digitali cercano di ottenere la massima precisione possibile per i circuiti progettati con il minimo tempo consumato e, infine, con il minimo sforzo possibile. Il superamento di tutti questi vincoli non può essere ottenuto con gli approcci tradizionali, anche quando si utilizzano le Karnaugh-Maps, soprattutto quando si utilizzano più di 4 variabili in ingresso. Il problema più importante che i progettisti devono affrontare è quello di selezionare quali e come sono possibili le soluzioni ottimali, tenendo conto dell'ordine delle variabili per decidere quanti circuiti logici digitali equivalenti possono essere estratti da quello originale. Questo libro si basa sull'approccio del diagramma decisionale binario per rappresentare in modo simbolico un insieme di variabili di ingresso. Questo approccio è ampiamente utilizzato nel campo del controllo formale. L'ordinamento delle variabili è un passo molto importante nel processo di ottimizzazione del diagramma decisionale binario. Un buon ordine delle variabili ridurrà notevolmente le dimensioni di un diagramma decisionale binario. Ci auguriamo che la lettura del frutto dei nostri sforzi sia piacevole e che questo libro vi aiuti a ottenere una prospettiva generale sui diagrammi decisionali binari.