SMS dit: Lógica combinatoria