Invia SMS: Bivalentné programovanie a jeho využitie pri riešení vybraných rozhodovacích problémov