задания по информатике

1. Осуществить прямой выбор на основе унификации и обратный вывод на основе метода резолюции в среде кубиков в соответствии с вариантом.

2.Привести формулы к ДНФ (с помощью тождественных преобразований) и, если можно, упростить

3. Представьте на языке логики предикатов следующее предложение русского языка:

Живет в городе охотник, который знаком со всеми мужчинами- охотниками этого города.

4. Запишите следующее условное предложение русского языка в виде правил логики предикатов: Ночью все кошки серые.

5.Сформулируйте на языке логики предикатов аксиомы, описывающие отношения родства между дядями и племянниками