Zaslať SMS: Redukcia Binárnych rozhodovacích diagramov