SMS dit: Conectivas lógicas y tablas de verdad