Envoyer par SMS: Redukcia Binárnych rozhodovacích diagramov