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.