6.2.7 Von der Wahrheitstafel zur KNF

[gesichtete Version][gesichtete Version]
Zeile 2: Zeile 2:


<p>
<p>
Gegeben sei die folgende Wahrheitstafel:
Gegeben sei die folgende Wahrheitstafel.<br />
<math>A</math>, <math>B</math> und <math>C</math> sind die Variablen, <math>F</math> ist der Funktionswert.
</p>
</p>
<br />
<p>
<p>
{| class="wikitable"
{| class="wikitable"
! &nbsp; <math>A</math> &nbsp;
! &nbsp; &nbsp; <math>A</math> &nbsp; &nbsp;
! &nbsp; <math>B</math> &nbsp;
! &nbsp; &nbsp; <math>B</math> &nbsp; &nbsp;
! &nbsp; <math>C</math> &nbsp;
! &nbsp; &nbsp; <math>C</math> &nbsp; &nbsp;
! &nbsp; &nbsp; &nbsp; <math>F</math> &nbsp; &nbsp; &nbsp;
! &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <math>F</math> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
|-
|-
| style="text-align:center" | <math>0</math>
| style="text-align:center" | <math>0</math>
Zeile 52: Zeile 54:
|-
|-
|}
|}
</p>
<br />
<p>
Aus dieser Wahrheitstafel resultiert der folgende Term in KNF (konjunktiver Normalform):
</p>
<p>
<math>(\neg A \lor B \lor C) \quad \land \quad (\neg A \lor \neg B \lor C)</math>
</p>
<br />
<p>
<loop_area type="notice">
<p>
Ein Term in '''KNF''' ist eine '''Konjunktion von Diskunktionen'''!
</p>
</loop_area>
</p>
</p>


Version vom 7. Oktober 2014, 09:44 Uhr

Von der Wahrheitstafel zur KNF

Gegeben sei die folgende Wahrheitstafel.
, und sind die Variablen, ist der Funktionswert.


                                           


Aus dieser Wahrheitstafel resultiert der folgende Term in KNF (konjunktiver Normalform):


Hinweis

Ein Term in KNF ist eine Konjunktion von Diskunktionen!


Hinweis

Siehe in den offiziellen Lernmaterialien:
Teil II: Aussagenlogik und Boole'sche Algebra
Lernobjekt 6: Anwendungen der Aussagenlogik
Kapitel 3.3: Boole'sche Funktionen in Normalform bringen

Abgerufen von „https://dozaw.eduloop.de/mediawiki/index.php?title=Von_der_Wahrheitstafel_zur_KNF&oldid=629“