1) pernex standard form
标准前束范式
2) prenex normal form
前束范式
1.
In the first order logic whose adequate set of connective is (→,~),we can use the four \{equivalent\} valued formulas to show that the prenex normal form theorem is true.
以｛→,～｝为连词完全集的一阶逻辑前束范式定理是由4 个等值式得到的。
3) prenex normal foX
前束标准形
4) Normative paradigm
标准化范式
5) prenex disjunctive normal form
前束析取范式
6) prenex conjunctive normal form
前束合取范式
补充资料：前束
分子式：
CAS号：
性质：又称前束。指汽车左右两前轮装配时，使两前轮的前端间距小于后端间距。一般前束量为3～6mm。当前轮前束与前轮外倾的作用相抵消时，前轮可不产生侧滑而回转，保持直线行驶状态。
CAS号：
性质：又称前束。指汽车左右两前轮装配时，使两前轮的前端间距小于后端间距。一般前束量为3～6mm。当前轮前束与前轮外倾的作用相抵消时，前轮可不产生侧滑而回转，保持直线行驶状态。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条