Logika uproszczanie. Arnold: Czy dobrze to uprościłem: Przykład: ~(~(~p v ~(~q)) ~~(p)) Moje działanie: 1.~(~(~p v q) p) 2. ~(p ~q) v ~p) 3. (~p v q) p) 4.((p−−−−>q) p)

Arnold: oj powinno być ~(~(~p v ~(~q)) ⋀ ~~(p)) Moje działanie: 1.~(~(~p v q) ⋀ p) 2. ~(p ~q) v ~p) 3. (~p v q) ⋀ p) 4.((p−−−−>q) ⋀ p)

edek: hmm, a nie powinno być tak: 1. ~(~(~p∨q)∧p) 2. ~(p∨q∧p) 3. ~p∨q∧~p? znak negacji to chyba dotyczy tylko nawiasu.

MQ: Jeśli taki jest początek: ~(~(~p v ~(~q)) ∧ ~~(p)) a to niepewne, bo co chwilę inaczej piszesz, to: ~(~(~p v ~(~q)) ∧ ~~(p)) ⇔ ~(~(~p v q) ∧ p) ⇔ ~(~(~p v q)) ∨ ~p ⇔ (~p v q) ∨ ~p ⇔ ~p v q

Arnold: MQ to jest tak jak podałem w pierwszym razie tylko zapomniałem dopisać znaku koniunkcji: Czyli jak mam znak negacji przed nawiasem to neguje tylko nawias a nie całe wyrażenie ?