可满足式(satisfiable)是一个数学公式,设A为任一命题公式,若A在各种真值指派下至少存在一组成真指派,则A是可满足式,反之为矛盾式。
换言之,对于命题公式A,若A不是矛盾式,则称A是可满足式
原创 | 2023-01-17 18:58:47 |浏览:1.6万
可满足式(satisfiable)是一个数学公式,设A为任一命题公式,若A在各种真值指派下至少存在一组成真指派,则A是可满足式,反之为矛盾式。
换言之,对于命题公式A,若A不是矛盾式,则称A是可满足式
Copyright 2005-2020 www.kxting.com 版权所有 | 湘ICP备2023022655号
声明: 本站所有内容均只可用于学习参考,信息与图片素材来源于互联网,如内容侵权与违规,请与本站联系,将在三个工作日内处理,联系邮箱:47085,1089@qq.com