定義,驗證過程, 定義命題公式飽和成真指派(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的成真指派.