The values of the sixteen <math>\alpha_i</math> on each of the sixteen boolean functions <math>f : \mathbb{B}^2 \to \mathbb{B}</math> are shown in Table 4. Expressed in terms of the implication ordering on the sixteen functions, <math>\alpha_i f = 1</math> says that <math>f</math> is ''above or identical to'' <math>f_i</math> in the implication lattice, that is, <math>\ge f_i</math> in the implication ordering. | The values of the sixteen <math>\alpha_i</math> on each of the sixteen boolean functions <math>f : \mathbb{B}^2 \to \mathbb{B}</math> are shown in Table 4. Expressed in terms of the implication ordering on the sixteen functions, <math>\alpha_i f = 1</math> says that <math>f</math> is ''above or identical to'' <math>f_i</math> in the implication lattice, that is, <math>\ge f_i</math> in the implication ordering. |