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