Ejercicios de lógica

Gracias al blog "Antes de las cenizas", he conseguido estos ejercicios de formalización de Lógica ya resueltos.
Espero que os sean de utilidad para preparar el examen del jueves.
Y aquí tenéis fórmulas para practicar las tablas de verdad.