Logik,Kon/Disjunktive Form < Krypt.+Kod.+Compalg. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 16:10 Sa 04.11.2006 | | Autor: | Phoney |
Hallo
Kann mir jemand sagen, warum [mm] $\neg [/mm] A [mm] \vee [/mm] B [mm] \vee [/mm] C$ die Konjunktive und Disjunktive Forn sein soll? Ich hätte jetzt gesagt, das wäre die Disjunktion, weil ich nur die Oder habe.
Danke schon ma
Johann
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 11:58 So 05.11.2006 | | Autor: | Frank05 |
> Hallo
Hallo,
> Kann mir jemand sagen, warum [mm]\neg A \vee B \vee C[/mm] die
> Konjunktive und Disjunktive Forn sein soll?
Die disjunktive hast du dir selbst ja schon klargemacht. Wie muss nun eine konjunktive Normalform aussehen? Da müssen einzelne Klauseln stehen, die innerhalb mit oder verknüpft sind (sog. Maxterme) und diese müssen dann und-verknüpft werden. Was du hier hast ist aber gerade der Fall, dass es nur einen Maxterm gibt und daher eine und Verknüpfung nicht notwendig ist. Du kannst auch um es genauer zu sehen einmal die Formel erweitern:
[mm](\neg A \vee B \vee C) \wedge true[/mm]
(statt true ist auch irgendeine Tautologie wie [mm]A \vee \neg A[/mm] möglich)
--
Frank
|
|
|
|
