科数网
数学题库
数学试卷
数学组卷
在线学习
电子教材
科数
试题
试卷
学习
教材
VIP
你好
游客，
登录
注册
在线学习
离散数学
第一章 数理逻辑
用成真赋值和成假赋值确定主范式
最后
更新:
2025-01-21 20:50
●
参与者
查看:
15
次
纠错
分享
参与项目
词条搜索
用成真赋值和成假赋值确定主范式
由主析取范式确定主合取范式 例10设 $A$ 有 3 个命题变项，且已知 $A=m_1 \vee m_3 \vee m_7$ ，求 $A$ 的主合取范式。 解 $A$ 的成真赋值是 $1,3,7$ 的二进制表示，成假赋值是在主析取范式中没有出现的极小项的下角标 $0 , 2 , 4 , 5 , 6$ 的二进制表示，它们恰好是 $A$ 的主合取范式的极大项的下角标，故 $$ A \Leftrightarrow M_0 \wedge M_2 \wedge M_4 \wedge M_5 \wedge M_6 $$ 由主合取范式确定主析取范式 用真值表确定主范式
上一篇：
主范式的应用
下一篇：
联结词的完备集
本文对您是否有用？
有用
(
0
)
无用
(
0
)
初中数学
高中数学
高中物理
高等数学
线性代数
概率论与数理统计
复变函数
离散数学
实变函数
数论
群论
纠错
题库
高考
考研
关于
下载
科数网是专业专业的数学网站。