-
Fundamentos de la lógica proposicional
-
Tablas de verdad
-
Operador NOT
-
Conjunción lógica (AND)
-
Disyunciones en código (OR y XOR)
-
Implicaciones y equivalencias
-
Implicación lógica (IF–THEN)
-
Doble implicación lógica (IFF) y equivalencias
-
Simbología de los operadores lógicos
-
Equivalencias lógicas: doble negación y leyes de De Morgan
-
-
Propiedades y demostraciones
-
Propiedades: distributividad y absorción aplicadas a la simplificación
-
Demostración del triángulo isósceles y métodos de demostración
-
-
Práctica aplicada
-
Ejercicios propuestos para practicar lógica en programación
-
-
Training Ground: pon a prueba lo aprendido
-
Introducción al Training Ground
-
-
Soluciones del Training Ground
-
P1 · My First Sorting Problem
-
P2 · Stair, Peak, or Neither?
-
P3 · Odd One Out
-
P4 · Hard Problem
-
P5 · Logic Evaluation
-
P6 · Logic Evaluation II
-