home *** CD-ROM | disk | FTP | other *** search
/ The Very Best of Atari Inside / The Very Best of Atari Inside 1.iso / sharew / elektro / q_m_c / qmc_calc.dat < prev    next >
Encoding:
Text File  |  1993-03-12  |  1.7 KB  |  39 lines
  1.                           HILFE - BERECHNUNGEN
  2.  
  3. --> MINIMIERUNG:
  4.  
  5.     Die Minimierung erfolgt nach dem Quine McCluskey Verfahren.
  6.     Dabei besteht die Möglichkeit die Redundanzen und Koppelterme
  7.     (Multi-Output-,Bündel-Minimierung) bei der Minimierung mit zu
  8.     verwenden.
  9.     Weiterhin kann die gesamte Minimierung auf (Ram-)Disk durch anwählen
  10.     von 'Dokumentation' mitgeschrieben werden.
  11.     Die Minimierung kann wahlweise aus der Wahrheitstabelle oder der 
  12.     Fast Wahrheitstabelle, sofern vorhanden, erfolgen.
  13.     Bei der Minimierung aus der Fast-Wtb. wird nur der Teil 2 der QMC-
  14.     Minimierung durchgeführt, da der Teil 1 bereits vorliegt.
  15.     Die Ergebnisausgabe erfolgt in der Disjunktiven Minimalform (DMF) und
  16.     es können bis zu 3 gleichwertige Lösungen angeboten werden.
  17.  
  18. --> BERECHNUNG Wtb., DNF, KNF:
  19.  
  20.     Wenn eine dieser Berechnungen angewählt wurde, wird vom Programm erfragt
  21.     aus welcher Form (Quelle) die Berechnung erfolgen soll.
  22.     Ist die Quellform nicht erstellt, so wird die Berechnung abgebrochen.
  23.     ACHTUNG: Ist die Zielform schon vorhanden so wird sie durch die neu
  24.              berechnete ersetzt.
  25.  
  26. --> VERGLEICH!:
  27.  
  28.     Mit dieser Funktion hat man die Möglichkeit in der Wahrheitstabelle 
  29.     die Ausgangszustände von Wtb. und Funktion miteinander zu vergleichen.
  30.     Vorgehen: - Es muß eine Wtb. erstellt worden sein.
  31.               - Es wird die zu vergleichende Funktion eingegeben oder aus
  32.                 der Minimierung geladen.
  33.               - Vergleich ! anwählen.
  34.               - Wahrheitstabelle nochmal editieren.
  35.     Durch ein weiteres anwählen von Vergleich ! wird die Option zurückge-
  36.     setzt.
  37.  
  38.  
  39.