logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 3320

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / 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





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj