任何一个合适公式，都可以等价地转化为一个前束范式。