3. Приведите формулу логики предикатов к предваренной нормальной форме XyP(X, y)  XyQ(X, y).

xyP(x, y)  xyQ(x, y) xyP(x ,y)  xyQ(x, y) 

 x(yP(x, y)  yQ(x, y))  x(yP(x, y)  аQ(x,а)) 

 xyа (P(x, y)  аQ(x, а)).