Question

离散数学，图片里划线的这一步怎么化简到下一步的?求大神。

Answer 1

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