ist das nun eine DNF???

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

ist das nun eine DNF??? 2003-11-23 19:24

Nadja

Ist es nun eine DNF:
z.B.
A oder B oder (nicht A und Nicht B)oder…?
irgenwie ist es unübersichtlich

Re: ist das nun eine DNF??? 2003-11-23 19:27

TriPhoenix

F1 ist zwar her, aber ich würde sagen ja, weil du als "äußerste" Operation nur "oder" (Disjunktion) hast und in den "inneren" Formeln nur "und" und "nicht".

Re: ist das nun eine DNF??? 2003-11-23 19:29

Slater

Formel = F
(nur mit 'und', 'oder' und Negation an Literalen)


IF (in F ist kein 'oder') -> DNF

ELSE 
   IF (in F ist ein 'und' auswertungstechnisch höher- oder
       gleichwertig zu einem 'oder') -> keine DNF
   ELSE -> DNF

Re: ist das nun eine DNF??? 2003-11-23 19:50

UncleOwen

IF (in F ist kein 'oder') -> DNF ELSE IF (in F ist ein 'und' auswertungstechnisch höher- oder gleichwertig zu einem 'oder') -> keine DNF ELSE -> DNF

A -> B *duck*

Re: ist das nun eine DNF??? 2003-11-23 20:33

Slater

wer lesen kann.. ;)

Re: ist das nun eine DNF??? 2003-11-23 22:41

Nadja

Danke, sonst mache ich die Übungen allein, habe manchmal Schwirigkeiten.

Re: ist das nun eine DNF??? 2003-11-24 16:59

UncleOwen

wer lesen kann.. ;)

*Brillepolier*