Describir: Optimalizácia binárnych rozhodovacích diagramov