06: Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2017, 16.05.2017

0:00:00 Starten
0:00:47 Einleitung
0:01:47 George Boole
0:03:12 Boolesche Algebra: Definition
0:05:01 Huntingtonsche Axiome
0:07:41 ,,Minimalistische"" Boolesche Algebra
0:12:48 Eindeutigkeit des Einselements
0:18:43 Eindeutigkeit der inversen Elemente
0:26:04 Mengenalgebra
0:29:53 Schaltalgebra
0:35:09 Dualitätsprinzip
0:37:12 Schaltalgebra(4)
0:39:06 Beweis
0:45:56 Schaltalgebra
0:54:17 2-wertige ,,binäre"" algebraische Strukturen
0:55:23 Zusammenfassung: Boolesche Algebra
0:56:01 Boolescher Ausdruck
0:59:21 Boolesche Funktionen
1:03:39 EInstellige boolsche Funktion
1:04:33 zweistellige Boolsche Funktion
1:07:49 Auswertung
1:08:44 Vollständige Operationsysteme
1:11:03 Motivierende Beispiele
1:22:26 Vollständige Operationsysteme (2)
1:23:20 Tautologie