08: Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2018, 22.05.2018

Autor

Mehdi Baradaran Tahoori

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Technische Informatik (ITEC)

Genre

Vorlesung

Beschreibung

08 |
0:00:00 Start
0:00:05 16 mögliche zweistellige boolesche Funktionen
0:01:06 Vollstädige Operatorensysteme (1)
0:01:57 Motivierende Beispiele
0:13:47 Vollstädige Operatorensysteme (2)
0:14:35 Tautologie (1)
0:16:27 Tautologie (2)
0:17:29 Tautologie (3)
0:23:51 Kaptel 3.1.4 - Normalformen
0:25:15 Produktterme
0:26:44 Literale und Produktterme
0:28:19 Implikant und Minterm
0:30:25 Minterme
0:31:26 Disjinktive Normalform (1)
0:33:05 Disjinktive Normalform (2)
0:35:42 Disjinktive Normalform (3)
0:37:49 Disjinktive Normalform (4)
0:40:42 Dualitätsprinzip
0:41:29 Implikat
0:42:41 MAxterm
0:43:23 Konjunktive Normalform
0:44:23 Minterme & Maxterme
0:47:09 Herkunft der Bezeichnungen
0:48:12 DNF und KNF (1)
0:52:22 DNF und KNF (2)
0:53:17 DNF oder KNF aus beliebiger Form
0:57:28 Beweis Entwicklungssatz
1:01:04 Beispiel
1:10:56 Dualer Entwickelungssatz
1:12:28 Deutung: Normalformen
1:17:58 Beispiel: DNF und KNF
1:20:08 DNF/KNF: Kurze Schreibweise

Laufzeit (hh:mm:ss)

01:21:27

Serie

Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2018

Publiziert am

24.05.2018

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz