Adleman hat 1978 gezeigt, dass : Wenn eine boolesche Funktion von Variablen durch eine probabilistische boolesche Schaltung der Größe berechnet werden kann , dann kann auch durch eine deterministische berechnet werden Boolesche Schaltung des Größenpolynoms in und ; eigentlich von Größe . f n M f M...