(¬(p → (((¬q) ∧ r)) ∨ ((¬p ∨ r) ∧ (q ∧s))))
1个回答

化简过程没错,你应该把最外面的¬往里面放

(¬(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))