Traducir literalmente las siguientes preposiciones
c→[(a↔d)^(b↔¬e)] (a^b)↔[cv(d→¬e)]
(a↔d): Si Elizabeth cumple con sus obligaciones, equivale que Elizabeth trabaja
(b↔¬e): Si Elizabeth aprueba el examen equivale a que Elizabeth come
(a^b): Si Elizabeth cumple con sus obligaciones o Elizabeth aprueba el examen
cv(d→¬e): Elizabeth se va de vacaciones o Elizabeth trabaja entonces Elizabeh no come
En conclusión: Si Elizabeth se va de Vacaciones entonces trabaja, cumple sus obligaciones, aprueba el examen o no come