‘壹’ 离散数学中 极大项 极小项具体指什么 能不能用一个例子具体说明,通俗一点
主范式,它是存在且唯一的。
定义:在含有n个命题变项的简单合取式(简单析取式)中,若每个命题变项和它的否定式不同时出现,而二者之一必出现且仅出现一次,且第i个命题变项或它的否定式出现在从左算起的第i位上(若命题变项无角标,就按字典顺序排列),称这样的简单合取式(简单析取式)为极小项(极大项)。
你把字母都理解成集合,然后析取范式就是并,自然就越并越大。同理,合取范式就是交,越交越小。
┐m和M对应的,所以实际的对应是:m111对应m000,自然就一个是┐x, 而后者是x
‘贰’ 关于离散数学极大项和极小项 主析(合)取范式的问题
极小项:就是合取式,每个变量按顺序排列,只能取p或┐p
比如两个变元p,q就只有4个极小项:p∧q、p∧┐q、┐p∧q、┐p∧┐q
3个变元则有8个,以此类推
极大项:就是析取式,每个变量按顺序排列,只能取p或┐p
比如两个变元p,q就只有4个极小项:p∨q、p∨┐q、┐p∨q、┐p∨┐q
3个变元则有8个,以此类推
‘叁’ 离散数学知识点有哪些
离散数学知识点介绍如下:
1、→,前键为真,后键为假才为假;<—>,相同为真,不同为假。
2、主析取范式:极小项(m)之和;主合取范式:极大项(M)之积。
3、求极小项时,命题变元的肯定为1,否定为0,求极大项时相反。
4、求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假。
5、求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写。
6、真值表中值为1的项为极小项,值为0的项为极大项。
7、n个变元共有个极小项或极大项,这为(0~-1)刚好为化简完后的主析取加主合取。
8、永真式没有主合取范式,永假式没有主析取范式。
9、推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假)。
10、命题逻辑的推理演算方法:P规则,T规则。
‘肆’ 离散数学中什么叫极大元,极小元,最大元,最小元
首先说明,在一个集合的偏序关系中,并不是任何2个元素之间都具有偏序关系.例如 aRb cRd,但是 a与c之间可能就不具有偏序关系R.
下面说明最大元与极大元,最小元与极小元:
最大元:假设a为最大元,则在集合A中,任取元素x,都有xRa.
极大元:假设a为极大元,则任取与a具有关系R的元素x,都有xRa.(也就是说:并不是A中的任意元素都与a有关系R,这就是最大元与极大元的区别)
最小元:假设a为最小元,则在集合A中,任取元素x,都有aRx.
极小元:假设a为极小元,则任取与a具有关系R的元素x,都有aRx.
最大元,最小元是唯一的,极大元与极小元不唯一.