SMS versenden: Programový systém na tvorbu a redukciu usporiadaných binárnych rozhodovacích diagramov