SMS: Conectivas lógicas