校学 离散数学主析取合取范式 做题心得

看上去很简单，为什么做题要做哭了……

1. 难点：等价推演，三法：
   1. 真值表
   2. 肯定前件、否定后件 
   3. 等价推演
2. （非P） == （P或非P） == （P与非P）
3. 细节：P条件非Q == 非P析取非Q（别把非Q的 非 漏了！）
4. 等价推演心得
   1. 从外到内
   2. 转化顺序：条件、双条件 先，非 其次，利用分配律转为目标形式 最后
   3. 整体思想：A析取（B合取C）== （A析取C）合取（A析取B）//ABC都可以是复杂命题
   4. 主析取合取范式转换：
      1. 真值表：0 ~ 2^n-1 ，主析取找真，主合取找假
      2. 对偶式：合取析取转换，非 也要转换
5. 保持耐心，多加练习