申请试用
HOT
登录
注册
 
范式、重言式与可满足性

范式、重言式与可满足性

enough
/
发布于
/
2624
人观看
本文主要介绍了范式、重言式与可满足性的基本定理及其应用。范式是符合某一种级别的关系模式的集合,讲述了分配率和范式之间的关系。重言式是一种在所有可能的真理分配下都成立的公式,就是恒真命题。
3 点赞
0 收藏
0下载
相关文档
确认
3秒后跳转登录页面
去登陆