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

условие: Записать следующие предложения в виде формул логики предикатов и преобразовать их в клаузальную форму: “Еслине существует интеллектуальных машин и если каждая идеальная машина является интелектуальной машиной, то идеальная машина не существует".