Expandieren
Durch das Expandieren einer Funktion durch weitere Implikanten ohne die Funktion und damit die Wahrheitstabelle zu verändern, kann sich die Möglichkeit ergeben Literale zu entfernen. Zum Beispiel kann durch Expansion folgender Ausdruck minimiert werden:
Die Wahrheitstabelle hierfür ist
Zu diesem Ausdruck gehören also die Minterme , und . Es können Minterme hinzugefügt werden, die durch vorhandene Implikanten bereits abgedeckt werden, z.B. können in dem obigen Ausdruck Minterme hinzugefügt werden, die durch den Implikanten abgedeckt werden, wie z.B. oder . Wird der Ausdruck mit expandiert, vereinfacht sich der Ausdruck wegen zu . Beide Ausdrücke stellen die gleiche Funktion dar.
Reduktion
Reduktion dagegen liefert vom Ausdruck den Ausdruck . Die Reduktion erhöht zwar die Kosten der Funktion, indem sie Literale hinzufügt, kann aber notwendig sein, um lokale Minima bei der Optimierung verlassen zu können.