Negation dieser Implikation [¬(¬A-->B)-->C] ∧(¬C∧¬A)

Question

Hallo ich finde  nichts dazu wie man eine Implikation negieren kann, in der ein ¬A enthalten ist. Normal geht es ja so:

¬(A-->B) =( A ∧ ¬B)

Zeige, dass sich   [¬(¬A-->B)-->C] ∧(¬C∧¬A) 

auch als ¬A ∧ ¬C darstellen lässt.

Answer 1

Hi

¬A → B  ↔ ¬(¬A)  ∨ B ↔ A ∨ B

Das kannst du negieren

¬(¬A → B) ↔ ¬( A ∨ B)