Binaarsete ostsustusdiagrammide matemaatiline käsitlus on seoses arvuti kiiruste kasvuga jõudnud ka praktikasse. Sellega seoses on aktuaalseks saanud sellega kaasnevad minimiseerimisprobleemid.
Eriti on vastav teooria rakendust leidnud digitaalskeemide prjekteerimisel ja testimisel. Koosnevad ju tänapäeva skeemid sadadest tuhandetest väikestest loogikalülitustest.
Ettekanne üritab anda ülevaate binaarsete otsustusdiagrammide liikidest ja minimiseerimisprobleemidest.