划线部分是怎么化简的?

2025-04-30 07:15:08
推荐回答(1个)
回答1:

划线部分是两个析取式的合取,
左边括号中,有两个¬P,可以变成1个¬P。
右边括号,含有¬P和P,因此是永真式(重言式),
合取后就可以直接去掉。