DNF und KNF Äuqivalent bspw.?

Hallo,

Wie sind DNF und KNF Äquivalent zueinander und kann man das anhand von f1(a, b, c) = abc ∨ abc ∨ abc und f2(a, b, c) = (b ∨ c)(a ∨ c)(a ∨ b)(a ∨ b ∨ c) erkennbar machen? Wenn ja, wie?

Mit freundlichen Grüßen

Answer 1

[tunik123]

Man könnte f2 "ausmultiplizieren", also in eine DNF umwandeln und f1 und f2 vereinfachen.

Oder man stelllt eine Logiktabelle auf.

f1 und f2 sind nicht äquivalent, denn wenn a = b = 1 und c = 0, dann ist f1 = 0 und f2 = 1.