Redukcia Binárnych rozhodovacích diagramov - Pernecký, Patrik (2015)