====== Rechnerarchitektur ======
===== Fragen ====
  * Bedingungen für duale regeln
    * nur mit gleichheitszeichen?
    * Welche Zeichen dürfen vorkommen "=>"?
    * Beispiele
      * A => B = --A + B
      * 1
      * 
Nur für die Regeln/Axiome der Vorlesung.

- -P = -(A1

<code>
A.-B.C.-D+
A.-B.C.D
A.B.C.-D
========
A.-B.C+
A.B.C.-D
========
A.-B.C+
A.C.-D
========
(A.C).(-B+-D)
</code>

Zu Quine McCluskey Verfahren und allgemein KDNF/DNF: [[http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=3&ved=0CGkQFjAC&url=http%3A%2F%2Fwww.rvs.uni-bielefeld.de%2Flectures%2FTechInf%2FTI1%2Fdownload%2FV4.ppt&ei=8b-0T521M4LBtAbh67jcAg&usg=AFQjCNFO3c9yr_MmQSd3iM-5P8ncfl_h7Q&sig2=MjqZ44aWPcQZRIkgnIhe0Q|Download link Uni Bielefeld]]


===== Zusamenfassung =====
[[rep]] \\
[[storetrans]] \\
[[bool]] \\
[[asm]] \\
[[prozessoren]]

[[Übungen]]