定义 命题公式饱和成真指派(saturated satisfying assignment of a propositional formula)一种特殊的成真指派.指其任何加缺指派均不是成真指派的成真指派. 验证过程 设a= (p-q八r. f=(h',T,h')为a的成真指派,但不是饱和成真指派,因为它的加缺指派g =(F,T,二)}g}=(F,二,二)为a的成真指派.但g'为 a的饱和成真指派,因为g'的加缺指派(二,二,二)不再为a的成真指派. [1]