IF-Konstrukt kürzen

[Matti Maekitalo]

Tach auch.

Oder einfach formal durchgerechnet: ¬a ∨ (a ∧ b) = (¬a ∨ a) ∧ (¬a ∨ b) = 1 ∧ (¬a ∨ b) = ¬a ∨ b.

Der Vollständigkeit halber ergänze ich mal die benutzten Gesetze, damit das wirklich jeder versteht:
Schritt 1: Distributivgesetz
Schritt 2: Komplementärgesetz
Schritt 3: Neutralitätsgesetz

nachzulesen etwa bei Wikipedia.

Bis die Tage,
Matti