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