Boolesche Algebra, Normalformen und Minimierungstechniken (Karnaugh-Maps, Quine-McCluskey)