In der klassischen Aussagenlogik ist zum Beispiel die Junktorenmenge funktional vollständig, d. h. es lassen sich alle denkbaren Junktoren alleine aus Konjunktion und Negation ausdrücken W. Rautenberg (2008), Korollar 1.2.2.