命题逻辑 [[[（p∧q )∧r ]∨[（p∧q）∧¬r]]∨¬q ] →s化简上课的时候我写了一遍

命题逻辑
[[[（p∧q )∧r ]∨[（p∧q）∧¬r]]∨¬q ] →s
化简
上课的时候我写了一遍,化出了答案.0 0回家之后再化简一遍就化不出来了

[[[（p∧q )∧r ]∨[（p∧q）∧¬r]]∨¬q ] →s
=[[（p∧q )∧[r ∨¬r]]∨¬q ] →s
=[[（p∧q )∧T]∨¬q ] →s
=[（p∧q )∨¬q ] →s
=[（p∨¬q）∧（q∨¬q )] →s
=[(p∨¬q)∧T] →s
=(p∨¬q) →s
=¬ (p∨¬q) ∨s
=（¬p∧q) ∨s