| 优范式存在唯一性定理 unique existence theorem of superior normal form 每一公式都有唯一等值的优合取范式和唯一等值的优析取范式。优范式的存在是明显的。因为，每一公式都有等值的范式。从一公式的范式出发，经过有穷次的展开、消去，对命题变项，简单合(析)取，按字典次序加以排列，最后就可以得到原公式的优合取范式和优析取范式。由范式获得优范式的置换规则有： (1) 展开规则： 1. 在简单合取A中引入命题变项π，即A换以A∧(π∨π)。 2. 在简单析取A中引入命题变项π，即A换以A∨(π∧π)。 (2) 消去规则： 1. A∨A换以A， A∧A换以A。 2. A∨(B∧B)换以A， A∨(B∧B∧C)换以A。 3. A∧(B∨B)换以A， A∧(B∨B∨C)换以A。 |