等价形式造句怎么写

给出了此问题的形式化描述，并将问题归约为一种关于多边形运动规划的等价形式。

作为应用，建立它的等价形式及对应二重级数的最佳推广不等式。

第八章介绍应用应用推理等价形式逻辑*程序正确*。