Контрольная по логике предикатов (003)

В соответствии с вариантом 21 (см. табл. П4 приложения):

1)   преобразовать формулу ЛП к ПНФ;

2)   полученную в п.1 формулу привести к ССФ;

3)   по матрице ССФ, полученной в п.2, сформировать множество дизъюнктов К и выполнить их унификацию. 

Сделать по образцу в методичке