如何刻画知识库不同版本之间的区别是研究知识库动态更新中的一个重要问题。提出了命题逻辑知识库的逻辑结论差概念（称为逻辑差）。然而，一般知识库之间逻辑差的计算是不易处理的，而且不满足范畴性，即不能保证其结果仍然可以用同类型的知识库来表达；由于2-CNF理论的可满足问题的易处理性，证明了2-CNF理论的逻辑差具有范畴性，并设计了一个多项式时间算法计算它们的逻辑差。