• Cuestionario de la Unidad 1

• Práctica 2-1

• Cuestionario de la Unidad 2

Ejercicios

• Deducción Proposicional Simple

• Demostración Condicional

• Demostración Indirecta (reducción al absurdo)

• Cuantificadores

• Ejercicio Marco  

• Programa de Marco en Amzi Prolog (marco.pro)

• Ejercicio Sherlock Holmes

Ejercicios de Lógica Matemática

Prácticas:

• Práctica 4-1

• Ejercicios resueltos de Mapas de Karnaugh 

• Ejercicio resuelto del pastel (ejercicio 13 de la práctica 4-1)

• Análisis de la Compuerta Lógica AND

• Análisis de la Compuerta Lógica OR

• Análisis de la Compuerta Lógica NOT

• Contador BCD (0-9)

• Contador de 3 dígitos

Álgebra booleana

Diseño de circuitos lógicos con Multisim

Práctica 5-1

Cuestionario de la Unidad 5

Cuestionario de la Unidad 6