Definitionen

Minimierung

Ermitteln von Repräsentanten einer Menge von werteverlaufsgleichen Ausdrücken, die nicht weiter kürzbar sind.

Belegungsindexmengen

 

• Menge der Indizes der Eingangsbelegungsmenge X, für die die Teilfunktion den Wert 0 annimmt.
• Menge der Indizes der Eingangsbelegungsmenge X, für die die Teilfunktion den Wert 1 annimmt.
• Menge der Indizes der Eingangsbelegungsmenge X, für die die Teilfunktion nicht definiert ist.

Primimplikant

Minimaler Elementarausdruck , der eine Menge kürzbarer Belegungen repräsentiert.