Dokazano je da se svakoj injektivnoj generalisanoj pseudo-Bulovoj funkciji može pridružiti jedno jedino orijentisano stablo. Takođe je dokazano da generalisana pseudo-Bulova funkcija sa pozitivnim (negativnim) derivatima ima jedinstvenim minimum (maksimum).