6.5.8 Исчисление предикатов

Условие: Записать следующие предложения в виде формул логики предикатов и преобразовать их в клаузальную форму: «Любой студент любит логику или философию тогда и только тогда, когда существует преподаватель, который любит и логику и философию».