离散数学命题逻辑这一题中,由合取范式到化简后的合取范式,这一步是怎么来的?

2025-03-12 19:45:47
推荐回答(1个)
回答1:

注意到划线第一行中∧的右边因为有~p∨p实际上是等于1的(恒真)
而下面式子其实就是上面∧的左边部分