[填空题,1分] 一个公式在等价意义下，_______范式写法是唯一的。