przemienność, łączność, rozdzielność...

stonka · Post autor: **stonka** » 17 kwie 2005, o 22:30

Niech spójniki logiczne * oraz ^ będą określone następująco:

p q p*q p^g
0 0 1 0
0 1 0 1
1 0 1 0
1 1 1 0

Sprawdź przemienność i łączność tych spójników oraz rozdzielność jednego względem drugiego.

Post autor: **liu** » 18 kwie 2005, o 16:51

A wiesz co to znacza te madre terminy 'przemiennosc', 'lacznosc' i 'rozdzielnosc dzialania wzgledem drugiego dzialania'?

stonka · Post autor: **stonka** » 18 kwie 2005, o 19:40

Np.
Przemienność: p^q q^p
Łączność: p^(q^r)((p^q)^r)
Rozdzielność: p^(qvr)(p^qvp^r)

Ale co dalej? Co to za znaczki: * i drugi - w oryginale widnieje kwadrat...

Post autor: **liu** » 20 kwie 2005, o 13:32

No to jak sama nazwa wskazuje masz SPRAWDZIC, czy maja te wlasnosci, np. rysujac tabelke taka:

p | q | p*q | q*p | p*q q*p
---------------------------------
1 | 0 | ..........
1 | 1 | ..........
0 | 1 | .........
0 | 0 | .........

i uzupelniajac odpowiednio na podstawie definicji spojnika cyferki.