Bringe die Formel (A AND B) <--> NOT C in Negationsnormalform

Question

brauche Hilfe bei der folgenden Aufgabe:

Comments

Tipp: Schaue erst mal hier, wohin die Umformung führen könnte.

https://www.wolframalpha.com/input/?i=((A+AND+B)+equivalent+(+NOT+C)+)

Answer 1

(a∧b) ↔ ¬c

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

(¬a ∨ ¬b ∨ ¬ c ) ∧ (c ∨ (a∧b ))     [ Negationsnormalform ]

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

(¬a ∨ ¬b ∨ ¬ c ) ∧ (a∨c) ∧ (b∨c)  [ konjuktive Nomalform ] 

Gruß Wolfgang