Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
5.5. ALGEBRAISCHE EIGENSCHAFTEN VON BOOLESCHEN OPERATOREN 35<br />
P<br />
T<br />
T<br />
T<br />
T<br />
F<br />
F<br />
F<br />
F<br />
P<br />
T<br />
T<br />
T<br />
T<br />
F<br />
F<br />
F<br />
F<br />
Q<br />
T<br />
T<br />
F<br />
F<br />
T<br />
T<br />
F<br />
F<br />
Q<br />
T<br />
T<br />
F<br />
F<br />
T<br />
T<br />
F<br />
F<br />
R<br />
T<br />
F<br />
T<br />
F<br />
T<br />
F<br />
T<br />
F<br />
R<br />
T<br />
F<br />
T<br />
F<br />
T<br />
F<br />
T<br />
F<br />
P&&Q Q&&R (P&&Q)&&R<br />
T<br />
T<br />
F<br />
F<br />
F<br />
F<br />
F<br />
F<br />
T<br />
F<br />
F<br />
F<br />
T<br />
F<br />
F<br />
F<br />
T<br />
F<br />
F<br />
F<br />
F<br />
F<br />
F<br />
F<br />
P||Q Q||R (P||Q)||R<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
F<br />
F<br />
Abbildung 5.5: Assoziativgesetz fur boolesche Ausdrucke<br />
T<br />
T<br />
T<br />
F<br />
T<br />
T<br />
T<br />
F<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
F<br />
P&&(Q&&R)<br />
T<br />
F<br />
F<br />
F<br />
F<br />
F<br />
F<br />
F<br />
P||(Q||R)<br />
Subtraktion. Eine derartige Regel gibt es auch fur die booleschen Operatoren. Der Operator<br />
! besitzt die hochste, der Operator && die zweithochste und der Operator || die niedrigste<br />
Prioritat. Prioritaten kann man durch Klammersetzung beein ussen. Das bedeutet bspw. fur<br />
die vier Aussagen P, Q, R und S:<br />
!P && Q (!P) && Q<br />
P || Q && R P || (Q && R)<br />
P || Q && !R || S (P || (Q && (!R))) || S<br />
5.5.4 Tautologie und Widerspruch<br />
Ein boolescher Ausdruck, der unabhangig vom Wahrheitswert der einzelnen Operanden immer<br />
den Wert T liefert, wird Tautologie genannt. Liefert ein boolescher Ausdruck immer den Wert<br />
F, so nennt man ihn Widerspruch. Wie Abbildung 5.7 zeigt, ist bswp. fur eine Aussage P der<br />
boolesche Ausdruck P && (!P) ein Widerspruch und P || (!P) eine Tautologie.<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
F