Zeige (A => (B =>C) <=> ((AnB) => C )

Question

ich würde die oben stehende Aufgabe ohne diese blöde Wahrheitstabelle lösen,

Answer 1

A  => (B => C)

Ich übersetze das mal in einen boolschen Ausdruck. Notfalls mit Wahrheitstabelle.

¬A ∨ ¬B ∨ C


(A ∧ B) => C

Auch das übersetze ich mal.

¬A ∨ ¬B ∨ C


Es kommt also aus beiden Ausdrücken das gleiche heraus. Damit sind die Ausdrücke gleich.