Предваренная нормальная форма и форма Сколема: примеры и объяснения