Ejercicios de simplificación de proposiciones lógicas