Uprość wyrażenie

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
timi_15
Użytkownik
Użytkownik
Posty: 19
Rejestracja: 4 paź 2007, o 15:26
Płeć: Mężczyzna
Lokalizacja: Piotrków Tryb.
Podziękował: 8 razy

Uprość wyrażenie

Post autor: timi_15 »

Mam problem , a mianowicie mam uprościć wyrażenie :
~[ (~k) ^ (~p) ] ^ ~[ (~(~p)) v (~k)]
p-Ala ma psa
k-Ala ma kota

Mam to zrobić chyba za pomocą praw logicznych ale wogóle nie wiem jak za to się zabrać ,
prosiłbym o roziązanie może jakoś mi to pokaże jak rozwiązywać tego typu przyklady.
Z góry THX Pozdro
Xfly
Użytkownik
Użytkownik
Posty: 174
Rejestracja: 13 mar 2006, o 20:44
Płeć: Mężczyzna
Lokalizacja: Nowogard
Podziękował: 33 razy
Pomógł: 10 razy

Uprość wyrażenie

Post autor: Xfly »

Zdanie logiczne po uproszczeniu wygląda tak:

\(\displaystyle{ (k p) (\neg p k)}\)

(Ala ma kota lub psa) i (Ala nie ma psa i ma kota)
ODPOWIEDZ