Das lässt sich mit der Logiktabelle ganz gut veranschaulichen:
Wie du siehst sind die Lösungen der letzten Spalte und der 3. letzten Spalte dieselben.
Somit ist die genannte Regel bewiesen. Beachte dass das "oder" stärker bindet als die Implikation "=>".
Hoffe das hilft.
Grüsse
Punkte: 14