Математическая логика

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

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

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