Stav dette: Conectivas lógicas y tablas de verdad