Resolver ejercicios usando la lógica proposicional

Representar en forma de teorema usando la notación lógica...