标签：数学范式

2020-03-05半瓶木阅读(1414)评论(0)赞(0)

在有限的步骤中查找给定语句是否是重言式, 矛盾性或可满足性的问题称为决策问题。对于决策问题, 事实表的构建可能并不总是可行的。我们考虑一种替代方法, 称为归纳为正常形式。 有两种这样的形式： 析取范式（DNF） 合取范式 析取范式（DNF）...