Forum "Sonstiges - Informatik" - Hornformel, duale Hornformel - ev.vorhilfe.de

- Förderverein -

Der Förderverein. Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
	Hallo Gast! [ einloggen \| registrieren ]
	Startseite · Mitglieder · Impressum

Forenbaum

VH e.V.

Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation

Startseite...
Suchen
Impressum

Das Projekt

Server und Internetanbindung werden durch Spenden finanziert.

Organisiert wird das Projekt von unserem Koordinatorenteam.

Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.

Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".

Partnerseiten

Weitere Fächer:

Vorhilfe.de

FunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme

Forum "Sonstiges - Informatik" - Hornformel, duale Hornformel

Hornformel, duale Hornformel < Sonstige < Schule < Informatik < Vorhilfe

Ansicht:

[ geschachtelt ]

Forum "Sonstiges - Informatik" |

Alle Foren |

Forenbaum | Materialien

Hornformel, duale Hornformel: Aussagenlogische Formel

Status:	(Frage) überfällig
Datum:	11:14 Di 02.06.2009
Autor:	Gitarist

Aufgabe

 Unterschied zwischen Hornformel und duale Hornformel 

Hallo zusammen!!!
Ich hätte da eine kleine Frage. Mich interessiert der Unterschied zwischen "Hornformel" und "duale Hornformel". Die beide werden folgendermassen definiert:
Hornformel - aussagenlogische Formel in KNF, wobei jede Klausel höchstens ein positives Literal enthält.
Duale Hornformel - aussagenlogische Formel in KNF, wobei jede Klausel höchstens ein negatives Literal enthält.
Die beiden werden gleich angesehen, obwohl die eigentlich nicht äquivalent sind.
Kann mir jemand helfen um mit den beiden klar zu kommen? Gibt es da überhaupt ein Unterschied?
Bitte um Hilfe!!!!!!!!!!!!!!
Vielen Dank im Voraus!!!!

Bezug

Hornformel, duale Hornformel: Fälligkeit abgelaufen

Status:	(Mitteilung) Reaktion unnötig
Datum:	11:20 Di 09.06.2009
Autor:	matux

$MATUXTEXT(ueberfaellige_frage)