Review Note

Anleitung Nelson Verfahren

Ausgangssituation A: Konjution von Summentermen (zb. \((a ∨ b) ∧ (c ∨ d)\))
Ausgangssituation B: Disjunktion von Produktermen (zb. \((a ∧ b) ∨ (c ∧ d)\))

Schritt 1: „Ausdistribuiren“ zweier Summenterme/Produktterme
Schritt 2: „Kürzen“ mithilfe von:

• Absorbtionsgesetz: \(a ∧ (a ∨ b) = a\) oder \(a ∨ (a ∧ b) = a\) 
• Idempotenzgesetz: \(a ∧ a = a\) oder \(a ∨ a = a\) 
• Komplementgesetz: \(a ∧ a = 0\) oder \(a ∨ a = 1\)
• Neutrales Element: \(a ∧ 1 = a\) oder \(a ∨ 0 = a\) 

Wiederholung der Schritte 1 und 2 bis es nicht mehr weiter geht