Tétel: Minden Boole-függvényhez van de-Morgan bázisú formula, amely a kiinduló Boole-függvényt ``jelenti ''.
Tétel: Minden Boole-függvényhez van DNF formula, amely a kiinduló Boole-függvényt ``jelenti ''.
Tétel: Minden Boole-függvényhez van CNF formula, amely a kiinduló Boole-függvényt ``jelenti ''.
Tétel: Nem minden Boole-függvényhez {konjunkcio, diszjunkcio} bázisú formula, amely a kiinduló Boole-függvényt ``jelenti ''.
Definíció: Monoton Boole-függvények.
Tétel: Pontosan a monoton Boole-függvényekhez található {0,1,konjunkcio, diszjunkcio} bázisú formula, amely a kiinduló Boole-függvényt ``jelenti ''.
Tétel: Minden n-változós Boole-függvény levélbonyolultsága legfeljebb n2n.
Tétel: Egy véletlen n-változós Boole-függvény levélbonyolultsága legalább 2n/ log n.
Tétel:(Khrapchenko-tétel) Az n változós kizáró vagy függvény deMorgan bázisban kifejező formulának legalább n2 levele van.