Enviar por SMS: Modely logického a bivalentního programování