... e) Cho P = POS/NEG(A, POS-set; NEG-set), POS-set={v1, , vm}, NEG-set = {vm+1, , vm+n}: Nếu H-set ⊆ POS-set hoặc H-set ⊆ NEG-set hoặc H-set ∩ (POS-Set ∪ NEG-Set) = Ø thì σ[P](σH ... P = POS/POS(A, POS1-set; POS2-set), POS1-set={v1, , vm}, POS2-set = {vm+1, , vm+n}: Nếu H-set ⊆ POS1-set hoặc H-set ⊆ POS2-set hoặc H-set ∩ (POS1-Set ∪ POS2-Set) = Ø thì σ[P](σH ... bản: - POS/POS < EXPLICIT, nếu E-graph = (POS1-set)↔ ⊕ (POS2-set) ↔ - POS < POS/POS, nếu POS2-set = □ - POS < POS/NEG, nếu NEG-set = □ - NEG < POS/NEG, nếu POS-set =...