Помогите пожалуйста разобраться с ПНФ. Суть понимаю, некоторые правила понимаю. Простые примеры умею решать. Если перед формулами стоят несколько предикатов, то не могу понять с какой начинать работу?
к сожаление, впервые пишу на вашем форме, поэтому не знаю как загружать фотографии, попробую писать словами.
для любого х существует у для любого z A(x,f(y),z) импликация существует у для любого z B(y,z)
|