Enviar por SMS: Lógica proposicional