0 Daumen
622 Aufrufe

Gegeben sei eine boolesche Funktion f:B^3 -> B mit f(a,b,c) = (a ∨ b ∨ c ) ∧ (a ∨ ¬c)∧(¬a ∨ ¬b ∨ c)  die schon
fast in KNF ist. Geben Sie f in KNF an.

Was muss man hier genau machen? ich weis nicht richtig wie man das anfangt oder was gefragt ist.
Das einzige was mir eingefallen ist : eine Wertetabelle mit was angeben wurde und damit dan KNF raus lesen aber bin mir nicht sicher ob das so klappt.

Bitte Hilfe.

von

Schau mal, ob Wolframalpha deine Eingabe richtig liest und ob du darunter die fragliche Form (KNF) findest.

http://www.wolframalpha.com/input/?i=(a+∨+b+∨+c+)+∧+(a+∨+¬c)∧(¬a+∨+¬b+∨+c)

Skärmavbild 2018-10-23 kl. 19.56.06.png

Bestenfalls findest du auch einen Weg dort hin.

die schon fast in KNF ist

Laut meiner Definition ist die Formel schon in KNF.

Was muss man hier genau machen?

Du musst f in KNF angeben.

Da die Funktion „fast in KNF ist “ meint man damit den teil von (a v -c)  in  (-a v b v -c) und (-a v -b v c) umwandeln?

Da die Funktion „fast in KNF ist “

Das ist kein Grund.

Der Grund, warum die vorliegende Formel nicht in KNF ist, steht in der dir vorliegenden Definition von KNF.

Schaue in diese Definition um festzustellen warum die vorliegende Formel nicht in KNF ist.

Laut meiner Defintion ist eine Formel in KNF, wenn sie eine Konjunktion von Disjunktionen von Literalen ist.

1 Antwort

0 Daumen
eine Wertetabelle mit was angeben wurde und damit dan KNF raus lesen

Das klappt immer (d.h. unabhängig davon, welche Formel in KNF umgeformt werden soll).

von 3,3 k

Beim zweiten teil des gegeben KNF also (a v -c) was passiert mit b?

Da es ja zwei mas pasieren kann bei (-a v b v -c) und (-a v -b v c) , ist das mit „fast in KNF“ gemeint?

Der Grund, warum die vorliegende Formel nicht in KNF ist, steht in der dir vorliegenden Definition von KNF.

Schon möglich. Tippe die Definition, die dir vorliegt einmal ab. Wir sehen nicht in deine Unterlagen.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community