Digitaltechnik	Material Lehrplan Einstieg analog-digital Grundgatter Hades Boolesche Algebra Relais Transistor Lego DNF Addierer Gray-Code Lampennetz Tor Reset FlipFlops Zähler Schieberegister Tristate Bus Registertransfer Hazards Experimente Logik-Probleme Schaltwerke Ampelsteuerung PLA Schmitt-Trigger Oszillator Links Pfad: Startseite / Fächer / Informatik / Digitaltechnik / DNF
Autor: mk 06.12.2009 10:26 3047	disjunktive Normalform

Probleme:

Wie findet man zu einer gegebenen Wahrheitstabelle eine passende Formel?

Wie stellt man sicher, dass die Formel für EINE bestimmte Eingangsbelegung eine 1 liefert?

Disjunktive Normalform

• LogicTraffic mit Situation 2 starten
• rechts KDNF (kanonische disjunktive Normalform) auswählen
• Wahrheitstabelle aufstellen
• Welcher Zusammenhang besteht zwischen der Wahrheitstabelle und der KDNF-Formel?
• KDNF-Formel durch Rechnen vereinfachen
• rechts 'Einfachste'-Formel einstellen, Vergleich?
• neues Problem:
  Wie findet man die einfachste Formel? Geht das vielleicht auch automatisch?

Aufgabe 1

Realisiere die gefundene Formel mit Hades. Realisiere auch die einfachste Formel. Vergleiche!

Einführung in LogicTraffic

logictraffic_einfuehrung.pdf logictraffic_einfuehrung.ppt

Anleitung zu LogicTraffic

logictraffic_anleitung.pdf

Aufgaben zu LogicTraffic

logictraffic_aufgaben.pdf

Software zu LogicTraffic

ausführbares Java-Archiv: infotraffic.jar

Links

• Disjunktive Normalform - wikipedia
• logictraffic - www.swisseduc.ch/informatik

lokal