一道求主合取的题，其中有一步骤不解，求教!
离散数学吧
全部回复
仅看楼主
level 1
O尋O
楼主
（1）非（P v Q） v (非Q v P)
（2）<=>（非P ∧ 非Q） v （非Q v P）
（3）<=>（非P v 非Q v P） ∧ （非Q v 非Q v P）
第二步怎么到第三步的？不明白 希望知道的人帮我解答一下
2010年03月30日 07点03分
1
level 0
116.1.115.*
令（非P ∧ 非Q）=Z则（非P ∧ 非Q） v （非Q v P）<=>Zv（非Q v P）<=>(Zv非Q)v(ZvP) 那么把Z用（非P ∧ 非Q）代换下就出来了
2010年03月30日 07点03分
2
1
