ЛОГИКИ ПРЕДИКАТОВ ТРЕД
Анон, нужна твоя помощь, необходимо привести пик рил к предваренной нормальной форме
∀x∃y ¬P(x,y) ˅ ∀y∃х P(x,y)⋀ ∀хQ(x,y)