Zaslat SMS: Lógica proposicional