b) Hilfe bei Vereinfachung der KNF

Question

Ich habe als KNF für C

(a v b v c) ^ (a v b v c') ^ (a v b' v c) ^ (a' v b v c)

raus, weiß jetzt aber nicht, wie ich das weiter vereinfachen kann, sodass ich auf den Term in der Musterlösung komme? Ich wäre dankbar wenn mir jemand einen Tipp geben könnte, denn ich stehe irgendwie gerade total aufm Schlauch....

Answer 1

du hast gerade eine Formel der Form $A \wedge B \wedge C \wedge D$.

Betrachte einfach die äquivalente Formel $(A \wedge B )\wedge (A \wedge C) \wedge (A \wedge D)$ und versuche in den von mir gesetzten Klammer auszuklammern. Dann solltest du auf die Form der Musterlösung kommen.

Gruß

Sebastian (Tutor)

Answer 2

Hallo,
hier noch ein weiterer Tipp:
Vergleichen Sie die einzelnen Klammern miteinander, z.B. (a v b v c) mit (a v b v c'). Hier fällt auf, dass Sie das zu (a v b) vereinfachen können. Wenn Sie so vorgehen, dann kommen Sie auch auf die Musterlösung.
Viele Grüße
Friederike Pfeiffer