15.2 Das boolesche Normalformtheorem
Allgemein gilt: Es gibt genau |Q||P| Funktionen f : P ? Q . Also gibt es |IB|^(|IB|^n) = 2^(2^n) Schaltfunktionen f : IBn ? IB . Wie kann man eine Übersicht über diese Vielfalt gewinnen?
Hilfssatz: Für f : IBn ? IB gilt f(a1,a2,...,an) = ( a1 /\ f(1,a2,...,an)) \/ (no a1 /\ f(0,a2,...,an))
Beweis durch Fallunterscheidung nach a1. Ein Analogon gilt für das Herausziehen von beliebigem ai .