Leider wissen wir nicht, was auf dem Beiblatt steht,
Es könnten aber diese zwei Äquivalenzen sein:
1. \(\alpha\Rightarrow \beta \equiv \lnot \alpha\vee \beta\) und
2. \(\alpha\wedge (\beta \vee \gamma)\equiv (\alpha \wedge \beta)\vee (\alpha\wedge \gamma)\)
3. Hinzu kommt: \(\alpha\wedge \lnot \alpha\) ist immer FALSCH.
Daher
\(p\wedge(p\Rightarrow q)\equiv\) nach 1.:
\(\equiv p\wedge (\lnot p \vee q)\equiv\) nach 2.:
\(\equiv (p\wedge \lnot p)\vee (p\wedge q)\equiv\) nach 3.:
\(\equiv p\wedge q\).
