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