Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Kapitel 5<br />
Aussagenlogik<br />
5.1 Aussagen<br />
Eine Aussage { auch boolescher Ausdruck igenannt { ist ein Satz, dem unmittelbar und eindeutig<br />
einer der Wahrheitswerte wahr (true, T) oder falsch (false, F) zugeordnet werden kann.<br />
Bspw. bildet der Satz " Ein Tisch ist ein Mobelstuck\ eine wahre Aussage, wahrend es sich<br />
bei dem Satz " Geh nach Hause\ um keine Aussage handelt, da dem Satz kein Wahrheitswert<br />
zugeordnet werden kann.<br />
5.2 Operationen auf Aussagen<br />
Mit Hilfe sogenannter logischer oder boolescher Operatoren lassen sich die Wahrheitswerte von<br />
Aussagen verandern bzw. es lassen sich mehrere Aussagen miteinander verknupfen. In der Programmierung<br />
sind dabei als boolesche Operatoren insbesondere die Negation (logische Verneinung),<br />
die Konjunktion (logisches " und\) und die Disjunktion (logisches " oder\) von Bedeutung.<br />
5.2.1 Negation<br />
Die Negation { im folgenden durch das Zeichen ! reprasentiert { ist ein monadischer oder unarer<br />
Operator, d.h. sie besitzt nur einen Operanden (eine Aussage). Sie bewirkt eine Veranderung<br />
ihres Operanden derart, da sich sein Wahrheitswert andert. D.h. gegeben eine Aussage P. Besitzt<br />
P den Wahrheitswert T, dann besitzt die Aussage !P den Wahrheitswert F. Und entsprechend,<br />
besitzt P den Wahrheitswert F, dann besitzt die Aussage !P den Wahrheitswert T. !P ist selbst<br />
wieder eine Aussage, eine sogenannte zusammengesetzte Aussage.<br />
5.2.2 Konjunktion<br />
Die Konjunktion { im folgenden durch die Zeichenfolge && ausgedruckt { ist ein dyadischer oder<br />
binarer Operator, d.h. sie benotigt zwei Operanden (Aussagen). Sie verknuft ihre beiden Operanden<br />
derart, da die konjugierte zusammengesetzte Aussage genau dann den Wahrheitswert<br />
31
Change language