特别注意:常元和变元
下面的栗子看看就行了:
注意:永真和永假式: (重言和矛盾)
栗子:
真值表的2个应用:
1 判断永真
2 判断式子是否等价:
重点看标红的公式:
栗子:
合取范式和析取范式:
过程: 消去箭头, 利用否等内移, 在利用分配律
2个范式的应用:
标签：重言,笔记,离散数学,永真,栗子,析取范式 From： https://www.cnblogs.com/Lamboofhome/p/16870703.html
特别注意:常元和变元
下面的栗子看看就行了:
注意:永真和永假式: (重言和矛盾)
栗子:
真值表的2个应用:
1 判断永真
2 判断式子是否等价:
重点看标红的公式:
栗子:
合取范式和析取范式:
过程: 消去箭头, 利用否等内移, 在利用分配律
2个范式的应用:
标签：重言,笔记,离散数学,永真,栗子,析取范式 From： https://www.cnblogs.com/Lamboofhome/p/16870703.html