|
Ziele:
Einteilung der Operationen
in der Vorlesung:
- Klassifikation erläutern
- Reduzierbarkeit auf Normalform durch strukturelle
Induktion zeigen
- Undefinierte Terme erläutern
- Konstruktoren zur Algebra Bool angeben.
Verständnisfragen:
- Klassifizieren Sie die Operationen der Algebra Bool.
- Gibt es undefinierte Terme in der Algebra Bool?
|
