离散数学知识点有哪些?

离散数学知识点有哪些?
离散数学知识点介绍如下：

1、→，前键为真，后键为假才为假；＜—＞，相同为真，不同为假。

2、主析取范式：极小项（m)之和；主合取范式：极大项（M)之积。

3、求极小项时，命题变元的肯定为1，否定为0，求极大项时相反。

4、求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假。

5、求范式时，为保证编码不错，命题变元最好按P，Q，R的顺序依次写。

6、真值表中值为1的项为极小项，值为0的项为极大项。

7、n个变元共有个极小项或极大项，这为（0~-1)刚好为化简完后的主析取加主合取。

8、永真式没有主合取范式，永假式没有主析取范式。

9、推证蕴含式的方法（=>)：真值表法；分析法（假定前键为真推出后键为真，假定前键为假推出后键也为假）。

10、命题逻辑的推理演算方法：P规则，T规则。