Ejercicios de lógica
Estructuras de matemáticas discretas para la computación
Ejercicios de lógica desarrollados y explicados