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