化简过程没错,你应该把最外面的¬往里面放
(¬(p → (((¬q) ∧ r)) ∨ ((¬p ∨ r) ∧ (q ∧s))))
⇔(¬(¬p ∨ (((¬q) ∧ r)) ∨ ((¬p ∨ r) ∧ (q ∧s))))
⇔p ∧ (¬r ∨ q) ∧ ((¬r ∧ p) ∨ (¬q ∨ ¬s))
⇔((¬r ∧ p) ∨ ( p ∧ q)) ∧ ((¬r ∧ p) ∨ (¬q ∨ ¬s))
⇔(¬r ∧ p) ∨ (( p ∧ q) ∧ (¬q ∨ ¬s))
⇔(¬r ∧ p) ∨ (( p ∧ q ∧ ¬q)∨( p ∧ q ∧ ¬s))
⇔(¬r ∧ p) ∨ ( p ∧ q ∧ ¬s)
⇔p ∧ (¬r ∨(q ∧ ¬s))