Aussagenlogik - Programmieren Spielend Gelernt mit dem Java-Hamster-Modell - page 41

P Q R P&&Q Q&&R (P&&Q)&&R P&&(Q&&R)

T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F

T
T
F
F
F
F
F
F

T
F
F
F
T
F
F
F

T
F
F
F
F
F
F
F

T
F
F
F
F
F
F
F

P Q P||Q Q||R (P||Q)||R

R P||(Q||R)

T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F

T
T
T
T
T
T
F
F

T
T
T
F
T
T
T
F

T
T
T
T
T
T
T
F

T
T
T
T
T
T
T
F

Abbildung 5.5: Assoziativgesetz für boolesche Ausdrücke

P Q R Q||R P&&(Q||R) P&&Q P&&R (P&&Q)||(P&&R)

T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F

T
T
T
F
T
T
T
F

T
F
T
F
T
F
T
F

T
T
T
F
F
F
F
F

T
T
F
F
F
F
F
F

T
F
T
F
F
F
F
F

T
T
T
F
F
F
F
F

P Q R Q&&R P||(Q&&R) P||Q P||R (P||Q)&&(P||R)

T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F

T
F
F
F
T
F
F
F

T
T
T
T
T
F
F
F

T
T
T
T
T
T
F
F

T
T
T
T
T
F
T
F

T
T
T
T
T
F
F
F

Abbildung 5.6: Distributivgesetze für boolesche Ausdrücke