(satisfying assignment of a propositional formula)一種指派.是使命題公式的真值為真的指派.例如，設公式a= (p->q) V r.對應於指派(T,F,T),a的真值為T，所以(T,F,T)稱為a的成真指派.有缺指派亦可為成真指派.例如，不論指派p}q以何真值，只要指派:以T，則所對應的公式a的真值總為T,所以((x，二，T)為a的有缺成真指派.
(satisfying assignment of a propositional formula)一種指派.是使命題公式的真值為真的指派.例如,設公式a= (p->q) V r.對應於指派(T,F,T),a的真值為T...
定義命題公式飽和成真指派(saturated satisfying assignment of a propositional formula)一種特殊的成真指派.指其任何加缺指派均不是成真指派的成真指派。驗證過程設a=...
對公式中的命題變元各指定一個真值,稱為對公式的賦值或解釋,若指定的一組值是公式真值為1,稱這組值為公式的成真賦值;若指定的一組值是公式真值為0,稱這組...
所以需要給出把命題公式規範的方法,即把命題公式化成主合取範式和主析取範式的...設mi在A1中有一組成真指派R,於是在R指派下,主析取範式A1為真,但在R指派情況...
satisfiable(可滿足式),設A為任一命題公式,若A在各種真值指派下至少存在一組成真指派,則A是可滿足式,反之為矛盾式。...