Logikoptimierung

  • Überblick digitale Synthese
  • Logikoptimierung
  • Begriffe
  • Mehrstufige Logik
  • Zweistufige Logik: Exakte Verfahren
  • ... Heuristische Verfahren
  • ... Expansion/Reduktion
  • ... Streichen
Startseite
Zweistufige Logik: Streichen             Ein Implikant kann entfernt werden, wenn alle Minterme, die er abdeckt, durch andere Implikanten abgedeckt werden. Ausdruck: ab+bc+ac abc ab bc ac ab+bc+ac 000001010011 100101110111 0000 0100 0000 0011 0100 0101 0111 0100   "ac" kann gestrichen werden, da schon abgedeckt!  

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 ac gestrichen werden:

ab+bc+ac

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

a b c ab bc ac ab+bc+ac
0 0 0 0 0 0 0
0 0 1 0 1 0 1
0 1 1 0 0 0 0
1 0 0 0 0 0 0
1 0 1 0 1 1 1
1 1 0 1 0 0 1
1 1 1 1 0 1 1

Die Minterme, die durch ac abgedeckt werden ( abc und abc ), werden bereits durch die Implikanten ab und bc abgedeckt.