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