Rachunek zdań Tomek: Zdanie: ∼[(∼p ⋁∼q) ⋀ ∼(∼p)] zastąpić prostszym zdaniem równoważnym. Wykorzystałem prawo podwójnego przeczenia (p⇔∼(∼p)) oraz jedno z praw de Morgana ∼(p⋀q)⇔(∼p⋁∼q) i wyszło mi ∼[(∼p⋁∼q) ⋀ p], moje pytanie brzmi czy da się to jeszcze bardziej uprościć?

Tomek: Wie ktoś czy da się coś z tym zrobić jeszcze?

pigor: ..., oj chyba źle ci cos tam wyszło, bo ja widzę to np. tak : ∼[(∼p ⋁∼q) ⋀∼(∼p)] ⇔ ∼[(p∧q) ⋀p)] ⇔ ∼(p∧q) ∨∼p ⇔ ∼p ∨∼q ∨∼p ⇔ ⇔ ∼p ∨∼p ∨∼q ⇔ ∼p ∨∼q ⇔ ∼(p ∧q) ...i może wystarczy . ...

Panko: ∼[(∼p ⋁∼q) ⋀ ∼(∼p)] ⇔(∼(∼p ⋁∼q) )⋁ (∼p)] ⇔(p⋀q)⋁(∼p)⇔(p⋁∼p)⋀(q⋁∼p)⇔q⋁∼p