6.5.8 Predicate calculus

Problem: Write the following sentences as predicate logic formulas and transform them into clausal form: «A student loves logic or philosophy if and only if there is a teacher who loves both logic and philosophy».