析取范式

前言

最近真正的想去做搜索引擎的研究了，本身我已经将算法导论上基本的数据结构和算法都掌握了，再加上平常练习acm，感觉自己具备了投身搜索的一些前提条件，本身我也是好联系黄页搜索的主要负责人，现在搜索做成那个样子跟我自己的搜索水平有脱不开的关系，所以《信息检索导论》开始看起，遇到之前的一些数学知识，有些遗忘，这里回顾一下，大部分都是从百度百科总结的，没神马技术含量，纯粹是我的回顾笔记

概述

在布尔逻辑中，析取范式(DNF)是逻辑公式的标准化（或规范化），它是合取子句的析取。作为规范形式，他在自动定理证明中有用。一个逻辑公式被认为是DNF的，当且仅当它是一个或多个文字的一个或多个合取的析取。同合取范式（CNF）一样，在DNF中的命题算子是&&， || 和 ！。非算子只能用做文件的一部分。

析取

用连词v把几个公式连接起来所构成的公式叫做析取

合取

用连词^把几个公式连接起来而构成的公式叫做合取

析取范式与合取范式

定义 2.2

命题变项及其否定统称作文字

• 仅由有限个文字构成的析取式称为简单析取式
• 仅由有限个文件构成的合取式称为简单合取式

定义2.3

• 由有限个简单合取式构成的析取式称为析取范式
• 由有限个简单析取式构成的合取式称为合取范式
• 析取范式与合取范式统称为范式

举例

转换为析取范式为：