Logikoptimierung

  • Überblick digitale Synthese
  • Logikoptimierung
  • Begriffe
  • Mehrstufige Logik
  • Zweistufige Logik: Exakte Verfahren
  • ... Heuristische Verfahren
  • ... Expansion/Reduktion
  • ... Streichen
Startseite

Streichen

Ein Implikant kann entfernt werden, wenn alle Minterme, die er abdeckt, durch andere Implikanten abgedeckt werden. Z. B. kann in dem folgenden Ausdruck der Implikant gestrichen werden:

Die Funktionstabelle dieses Ausdrucks verdeutlicht, wieso dies möglich ist:

Die Minterme, die durch abgedeckt werden ( und ), werden bereits durch die Implikanten und abgedeckt.