# 析取范式化

> - 将任意逻辑公式转化为"合取式的析取"标准形式

- ID: m10471
- 分类: structure
- 领域: 逻辑学

## 定义

- 将任意逻辑公式转化为"合取式的析取"标准形式脚手架作用：逻辑标准化。便于比较、化简和判定可满足性。

## 机制

把逻辑公式化为「若干合取子句的析取」标准形，便于判定可满足性与电路实现。

## 练习

用等价变换（分配律、德摩根）化为 DNF；用于判定与化简。

## 脚手架用法

逻辑标准化。便于比较、化简和判定可满足性。

[阅读网页](https://thinkingmodels.site/entries/detail/m10471)