sprawdź metoda 0-1-ową skróconą czy wyrażenia sa prawdziwe
1)~pvq ->(r->q) v ~(r i ~q) v (p->~r)
2) (p->r) i (~q r) ->[(p->q) ->(r ->q)
" Life is not a problem to be solved but a reality to be experienced! "
© Copyright 2013 - 2024 KUDO.TIPS - All rights reserved.
Rozwiązanie zadania 1) w załączniku.
W przykładzie 2) brakuje znaku pomiędzy ~q, r :/ Mogę rozwiązać jak podasz jaki znak tam powinien być :)