Capítulo 1 Ejercicio 7: Proposiciones

7. Dadas las siguientes proposiciones:
a: Elizabeth cumple con sus obligaciones.
b: Elizabeth aprueba el examen.
c: Elizabeth se va de vacaciones.
d: Elizabeth trabaja.
e: Elizabeth come.
Traduzca literalmente las siguientes proposiciones:
I)    a→ ¬ [b → (¬ c ∨ d)]
II)   [b ∧ ¬ (d ↔ ¬ a)] ∨ [(c ∨ d) → (d ∧ e)]
III)  c → [(a ↔ d ) ∧ (b ↔ ¬ e)]
IV) (a ∧ b) ↔  [c ∨ (d → ¬ e)]