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

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

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

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

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

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

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