5˙3
Es läßt sich zeigen, daß jedes Wahrheitsfunktionszeichen || jede Wahrheitsfunktion ein Resultat der sukzessiven Anwendung der Operation (W )'(ᾱ) ist.