Question

(¬(p → (((¬q) ∧ r)) ∨ ((¬p ∨ r) ∧ (q ∧s)))) 化简问题

Answer 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))
希望可以帮助到你