Simbolizar en forma coherente los siguientes conjuntos de oraciones, indicando previamente en cada caso el universo de definición y el diccionario...

Simbolizar en forma coherente los siguientes conjuntos de oraciones, indicando previamente en cada caso el universo de definición y el diccionario empleado:
a) Ana no duerme.
Todos los que tienen sueño, duermen.
Hay al menos una persona joven que no tiene sueño.
Todos los arquitectos que no tienen sueño escuchan radio.
Todos los jóvenes, o bien tienen sueño, o bien juegan con la compu.
Marcos es un arquitecto que juega con la compu.
No hay nadie que escuche radio y que además juegue con la compu.
Hay al menos una persona que no es arquitecto, escucha radio y tiene sueño.
b) Ana es maestra de Roque.
Nora es maestra de Lucas y de Carla.
Todos los correntinos comen surub́ı.
Todos los entrerrianos tienen, al menos, un maestro correntino.
Juan es el padre de Lara, que es correntina.
Pedro, que come surub́ı, es maestro de Roque.
Todos los maestros de Roque, o bien comen dorado, o bien son misioneros.
Ningún correntino come corvina, pero Ana śı.