合取范式
- 首页
- 通用类
- 术语
- 合取范式
- 首页
- 百科类
- 百科
- 合取范式
简介
合取范式(conjunctive normal form),是命题公式的一种标准形。
一个命题公式的合取范式可以通过真值表得到,也可以通过等价变换得到。
合取范式主要用于解决命题公式的逻辑判断,一个命题的合取范式不是唯一的。
中文名 |
合取范式 |
原始名称 |
合取范式 |
外文名 |
conjunctive normal form |
类型 |
命题公式的一种标准形 |
英文名 |
conjunctive normal form |
风格 |
命题公式的一种标准形 |
- 首页
- 通用类
- 术语
- 合取范式
- 首页
- 百科类
- 百科
- 合取范式