Eigenschaft, die eine Menge \({{\mathfrak{M}}}_{n}\) von Booleschen Funktionenf : {0, 1}ⁿ → {0, 1} bzgl. eines auf den Booleschen Funktionen definierten Komplexitätsmäßes C (Boolesche Funktionen) haben kann.

Die Eigenschaft liegt vor, wenn fast alle Booleschen Funktionen f ∈ \({{\mathfrak{M}}}_{n}\) eine Komplexität C(f) haben, die größer gleich \begin{eqnarray}C({{\mathfrak{M}}}_{n})-\circ (C({{\mathfrak{M}}}_{n}))\end{eqnarray} ist. Hierbei ist \(C({{\mathfrak{M}}}_{n})=\max \{C(f)|f\in {{\mathfrak{M}}}_{n}\}\), gibt also die Komplexität der härtesten Booleschen Funktion aus \({{\mathfrak{M}}}_{n}\) an. Formal gilt der Shannon-Effekt genau dann, wenn der Grenzwert \begin{eqnarray}\mathop{\mathrm{lim}}\limits_{n\to +\infty}\frac{\,|\{f\in {{\mathfrak{M}}}_{n}\,|\,C({f})\ge C({{\mathfrak{M}}}_{n})-\circ (C({{\mathfrak{M}}}_{n}))\}|}{|{{\mathfrak{M}}}_{n}|}\end{eqnarray} gleich 1 ist.