Hornformel < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Status: |
(Frage) überfällig | 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 !
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 17:20 Mi 17.07.2013 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|