• Einbetten

Kapitel:

00:01:32
Normal Forms (propositional logic)
00:36:05
Enumeration & Deduction
01:20:45
Examples (normal form conversions)