Describir: Redukcia Binárnych rozhodovacích diagramov