Invia SMS: Redukcia Binárnych rozhodovacích diagramov