可满足式

王朝百科·作者佚名  2009-10-24  
宽屏版  字体: |||超大  

satisfiable(可满足式)

设A为任一命题公式,如果存在一组取值{x,…}使A为真,则A为可满足式,反之为矛盾式。

换言之,对于命题公式A,若A不是矛盾式,则称A是可满足式。

 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
© 2005- 王朝百科 版权所有