Logika, zadanie nr 4386

Autor	Zadanie / Rozwiązanie
msmusic16 postów: 7	2016-03-14 18:35:12 Znajdż formułę znajdującą się w postaci normalnej alternatywnej rówonowżną formule: p /\ [q /\ (~p=>q)]

tumor postów: 8070	2016-03-14 18:45:14 Jeśli naprawdę chodzi o postać alternatywną, czyli alternatywę koniunkcji, to łatwo zadanie rozwiązać tak: Robimy tabelkę, tak jak sprawdza się, czy formuła jest tautologią. A następnie wpisujemy takie koniunkcje, dla których całe zdanie jest prawdziwe. Dla p=1 i q=1 całe zdanie jest prawdziwe, wobec tego $(p \wedge q)$ będzie jedną z alternatyw. Dla p=0 i q=1 całe zdanie jest fałszywe, wobec tego $(\neg p \wedge q)$ NIE będzie jedną z alternatyw. Inaczej można skorzystać po prostu z formuł równoważnych implikacji czy z rozdzielności, ale sposób z tabelką dale w przypadku postaci alternatywnej dość szybki wynik.

strony: 1

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