Logika, zadanie nr 3320

Autor	Zadanie / Rozwiązanie
geometria postów: 865	2015-03-16 18:45:02 Przeksztalcic formule zdaniowa (q$\Rightarrow$p)$\wedge$(p$\vee$r) do krotszej, rownowaznej postaci, tak by kazda zmienna zdaniowa wystepowala w niej co najwyzej raz. W kazdym przejsciu podac tautologie, z ktorej sie korzysta. Korzystam kolejno z tautologii: eliminacja implikacji, rozdzielnosc koniunkcji wzgledem alternatywy, prawo pochlaniania. (q$\Rightarrow$p)$\wedge$(p$\vee$r) $\iff$ ($\neg$q$\vee$p)$\wedge$(p$\vee$r) $\iff$ ($\neg$q$\wedge$(p$\vee$r))$\vee$((p$\wedge$(p$\vee$r)) $\iff$($\neg$q$\wedge$(p$\vee$r))$\vee$p moge dalej poprosic o pomoc?

kebab postów: 106	2015-03-16 19:30:45

geometria postów: 865	2015-03-16 20:12:52 Dziekuje.

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj