科数网
数学题库
数学试卷
数学组卷
在线学习
电子教材
科数
试题
试卷
学习
教材
VIP
你好
游客,
登录
注册
在线学习
离散数学
第一章 数理逻辑
极小项与极大项
最后
更新:
2025-01-21 20:40
●
参与者
查看:
25
次
纠错
分享
参与项目
词条搜索
极小项与极大项
定义2.4 在含有 $n$ 个命题变项的简单合取式(简单析取式)中,若每个命题变项均以文字的形式在其中出现且仅出现一次,而且第 $i$ 个文字出现在左起第 $i$ 位上 $(1 \leq i \leq n)$ ,称这样的简单合取式(简单析取式)为极小项(极大项)。 几点说明: -$n$ 个命题变项有 $2^n$ 个极小项和 $2^n$ 个极大项 - $2^n$ 个极小项(极大项)均互不等值 -用 $m _i$ 表示第 $i$ 个极小项,其中 $i$ 是该极小项成真赋值的十进制表示.用 $M _i$ 表示第 $i$ 个极大项,其中 $i$ 是该极大项成假赋值的十进制表示. $m _{ i }\left( M _{ i }\right)$ 称为极小项(极大项)的名称. 由两个命题变项 p, q 形成的极小项与极大项 ![图片](/uploads/2025-01/27e69d.jpg) ![图片](/uploads/2025-01/35fc37.jpg)
上一篇:
范式的性质
下一篇:
主析取范式与主合取范式
本文对您是否有用?
有用
(
0
)
无用
(
0
)
初中数学
高中数学
高中物理
高等数学
线性代数
概率论与数理统计
复变函数
离散数学
实变函数
数论
群论
纠错
题库
高考
考研
关于
下载
科数网是专业专业的数学网站。