www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast! [ einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status 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:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Formale Sprachen" - Hornformel
Hornformel < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Formale Sprachen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Hornformel: Rückfrage
Status: (Frage) überfällig Status 
Datum: 16:34 Do 11.07.2013
Autor: amarus

Aufgabe
"Finden Sie eine Formel zu der es keine logisch äquivalente Hornformel gibt"


Also was eine Hornformel ist usw. weiß ich...nur iwie frag ich mich was diese Aufgabe für einen Sinn hat.... wenn ich z.B. die Formel

" (A v B ) [mm] \wedge [/mm] ( C v D ) " als Formel wähle, exisiert ja keine Hornformel dafür...da egal wie der Term umgeformt wird, immer mind. 2 positive Literale vorhanden sind, was die Charakteristika einer Hornformel verletzt...


oder bin ich da auf einem falschen Weg ?

viele grüße und danke für etwaige hilfe !
        
Bezug
Hornformel: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:20 Mi 17.07.2013
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Formale Sprachen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]