Konjunktive Normalform < Technische Inform. < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 23:11 Mo 15.11.2010 | | Autor: | anno |
| Aufgabe | | Erzeugen Sie algebraisch die konjunktive Normalform der Formel x [mm] \wedge [/mm] y. |
Hallo zusammen.
Wie kann ich denn diese Bool'sche UND Verknüpfung erweitern, so dass es eine Konjunktive Normalform wird.
Wie muss ich denn da weiter machen?
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 03:53 Di 16.11.2010 | | Autor: | felixf |
Moin!
> Erzeugen Sie algebraisch die konjunktive Normalform der
> Formel x [mm]\wedge[/mm] y.
>
> Hallo zusammen.
>
> Wie kann ich denn diese Bool'sche UND Verknüpfung
> erweitern, so dass es eine Konjunktive Normalform wird.
Das ist doch schon in konjunktiver Normalform. Oder ist nach der vollstaendigen/kanonischen konjunktiven Normalform gefragt, sprich in jedem Disjunktionsterm muessen alle Variablen genau einmal vorkommen?
LG Felix
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:28 Di 16.11.2010 | | Autor: | anno |
Genau, es ist nach der vollstaendigen/kanonischen konjunktiven Normalform gefragt.
|
|
|
| |
|
| Status: |
(Antwort) fertig | | Datum: | 20:35 Di 16.11.2010 | | Autor: | felixf |
Moin!
> Erzeugen Sie algebraisch die konjunktive Normalform der
> Formel x [mm]\wedge[/mm] y.
>
>
> Hallo zusammen.
>
> Wie kann ich denn diese Bool'sche UND Verknüpfung
> erweitern, so dass es eine Konjunktive Normalform wird.
Es ist $x = x [mm] \vee [/mm] 0 = x [mm] \vee [/mm] (y [mm] \wedge \neg [/mm] y) = (x [mm] \vee [/mm] y) [mm] \wedge [/mm] (x [mm] \vee \neg [/mm] y)$.
Kommst du damit weiter?
LG Felix
|
|
|
|
