0 Daumen
954 Aufrufe

Aufgabe:

Transformieren Sie mit Hilfe von algebraischen Transformationen

α = a ⇔ b ∧ c ∨ ¬a

in KNF.


Problem/Ansatz:

Kann das mir eventuell jemand lösen? Sitze schon den ganzen Tag dran...

Avatar von

1 Antwort

0 Daumen

a ⇔ b ∧ c ∨ ¬a

(a ==> ( b ∧ c ∨ ¬a)  )    ∧   (( b ∧ c ∨ ¬a )  ==> a)

( ( b ∧ c ∨ ¬a) ∨  ¬a  )    ∧   (   a  ∨   ¬( b ∧ c ∨ ¬a )  )

( b ∧ c ∨ ¬a)     ∧   (   a  ∨   ( ( ¬ b  ∨ ¬ c )  ∧  a )  )

( b ∧ c ∨ ¬a)     ∧   (   a  ∨  ( ¬ b  ∨ ¬ c ))    ∧   ( a  ∨ a )  )

( b ∧ c ∨ ¬a)     ∧   (   a  ∨  ¬ b  ∨ ¬ c )   ∧   a

Jetzt musst du noch das a aufblasen zu allen Termen in denen a vorkommt

(einen hast du ja schon .)

( b ∧ c ∨ ¬a)     ∧   (   a  ∨  ¬ b  ∨ ¬ c )   ∧   (   a  ∨   b  ∨ ¬ c ) ∧   (   a  ∨  ¬ b  ∨  c ) ∧   (   a  ∨  b  ∨  c )

Das müsste es sein. Probier mal ne Wertetabelle zum

Kontrollieren.

Avatar von 289 k 🚀

Ein anderes Problem?

Stell deine Frage

Ähnliche Fragen

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community