![[Vorheriges Kapitel]](pprev.gif)
![[Vorherige Seite]](prev.gif)
![[Inhaltsverzeichnis]](up.gif)
![[Nächste Seite]](next.gif)
![[Nächstes Kapitel]](nnext.gif)
|
|
|
Gegeben sei eine Formel F mit n Variablen. Da jeder der Variablen nur einen der Werte TRUE oder FALSE annehmen kann, können die 2n verschiedenen Wertekombinationen der Variablen von F zusammen mit A(F) in einer Tabelle zusammengefaßt werden.
Beispiele:
| A(F) | A(¬ (F)) |
| TRUE | FALSE |
| FALSE | TRUE |
| A(F1) | A(F2) | A((F1) => F2) |
| TRUE | TRUE | TRUE |
| TRUE | FALSE | FALSE |
| FALSE | TRUE | TRUE |
| FALSE | FALSE | TRUE |
|
|
| Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005 |