Text this: Optimalizácia Binárnych rozhodovacích diagramov na základe pravidiel pre multiplexory