1)算法AE1 优先选择“最大公共元素”,即在最多数目的扩张矩阵中出 现的元素。 2)广义扩张矩阵与AE9算法 ①广义扩张矩阵:已知反例矩阵NE和一个公式L=x=A] 对NE的每一列j∈N,如果J则用死元素“*”对NE中第j列 的所有元素做代换;如果j∈J,则用“*”对NE中第j列属于Aj 的所有元素做代换。这样得到的矩阵叫做公式L的广义扩张 矩阵。记为EML) ⑨必选元素:设EM(L)是一致公式L的扩张矩阵,如果在 EM(L)中的某一行中只有一个非死元素,则该元素叫做必选 元素。 ④公式的合并:已知公式Ax=A]及公式F=∧[Xx=B 则将L和F对应的选择子的取值合并得到一个新的公式,叫做 L和F的合并,记为L⊕F。即L⊕F=∧[X1=A∪B1) 算法AE1 优先选择“最大公共元素”，即在最多数目的扩张矩阵中出 现的元素。 2) 广义扩张矩阵与AE9算法 ① 广义扩张矩阵：已知反例矩阵NE和一个公式L= 对NE的每一列j∈N,如果j J,则用死元素“*”对NE中第j列 的所有元素做代换；如果j∈J,则用“*”对NE中第j列属于Aj 的所有元素做代换。这样得到的矩阵叫做公式L的广义扩张 矩阵。记为EM(L). 必选元素：设EM(L)是一致公式L的扩张矩阵，如果在 EM(L)中的某一行中只有一个非死元素，则该元素叫做必选 元素。 公式的合并：已知公式 及公式F= 则将L和F对应的选择子的取值合并得到一个新的公式，叫做 L和F的合并，记为LF。即LF= . [x A ] j j j J  =    [ ] ' j j j J  X = B  [ ] ' j j j j J J  X = A B   [x A ] j j j J  = 