- Wahrheitstabelle aufstellen
- KDNF erstellen
- KV Diagramm erstellen
- evtl. Pseudotetraden eintragen
- Anwendungsgleichung ablesen (Nicht über aktuelle Variable vereinfachen)
- Mit Charakteristischen Gleichung gleichsetzen, daraus zu Verknüpfungsgleichung umformen