析取范式?析取范式 公式?前束范式例题?小一的专栏

你是否正在寻找关于析取范式的内容？让我把最内涵的东西奉献给你：

前言

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

概述

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

析取

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

合取

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

析取范式与合取范式

定义 2.2

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

定义2.3

举例

转换为析取范式为：

以上就是关于析取范式的全部内容，相信你一定会非常满意。

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/shenmilingyu/article-9788-1.html