zdanie proszeopomoc: Zdanie ~ [( ~p V ~q) ⋀~ (~ p)] zastąpić prostszym zdaniem równoważnym.

Krzysiek: https://matematykaszkolna.pl/strona/1072.html

Janek191: ~ ( ~ p ) <=> p i ~ p v ~q <=> ~ ( p ∧ q ) więc ~[ ( ~p v ~q ) ∧ ~ ( ~p ) ] ⇔ ~[ ~( p ∧ q ) ∧ p ] ⇔ ( p ∧ q ) ∨ ~ p

Janek191: ~ ( ~ p ) <=> p i ~ p v ~q <=> ~ ( p ∧ q ) więc ~[ ( ~p v ~q ) ∧ ~ ( ~p ) ] ⇔ ~[ ~( p ∧ q ) ∧ p ] ⇔ ( p ∧ q ) ∨ ~ p

proszeopomoc: Dzięki wielkie