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