Tablas de verdad y conectivos lógicos.