Ist diese Umformung wichtig?

¬A ≡ (¬A) ∧ wahr ≡ (¬A) ∧ ¬ (B ∧( ¬B))

Answer 1

[nobytree2]

kann man so machen, man kann noch den Zwischenschritt $\left(\neg A\right)\wedge\left(\neg B\vee B\right)$ einfügen, zu dem letzten Schritt kommt man dann per Morgan.

Answer 2

[ChrisGE1267]

Ob sie wichtig ist, weiss ich nicht. Sie scheint mir jedenfalls RICHTIG zu sein…

Woher ich das weiß: Studium / Ausbildung – Dr. rer. nat. Analytische & Algebraische Zahlentheorie