Einfach umformen?
\( A\Rightarrow B \equiv \overline{A}\vee B \)
\( (A\Rightarrow B)\Rightarrow C\equiv(\overline{A\Rightarrow B})\vee C \)
\( (\overline{\overline{A}\vee B})\vee C\equiv (A\wedge\overline{B})\vee C \)
Sonstiger Berufsstatus, Punkte: 149
https://youtu.be/-k4DFoCcjRI (Analysis 020 - Implikation als Disjunktion (mit Beweis)).
Im zweiten Schritt macht er das gleiche, indem er \(A\Rightarrow B\) als eigene Aussage betrachtet.
Im letzten Schritt benutzt er die Gesetze von de Morgan:
https://youtu.be/-1UtuJMxNLc (Analysis 021 - De Morgansche Gesetze (mit Beweis)) ─ endlich verständlich 05.11.2019 um 16:01