当前位置:
王朝网络
>>
王朝百科
>> 可满足式
王朝百科
可满足式
王朝百科·作者佚名 2009-10-24
宽屏版
字体:
小
|
中
|
大
|
超大
satisfiable(可满足式)
设A为任一命题公式,如果存在一组取值{x,…}使A为真,则A为可满足式,反之为矛盾式。
换言之,对于命题公式A,若A不是矛盾式,则称A是可满足式。
点击展开全文
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
热搜词条
·
扎起
·
十八般兵器
·
侦探学园Q
·
数论
·
高坤
·
席勒
·
BT投资模式
·
伊朗
·
江都
·
帮助
©
2005-
王朝百科
版权所有