Changes

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&nbsp;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&nbsp;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.

<table align="center" cellpadding="1" cellspacing="0" style="text-align:center; width:90%">

<table align="center" cellpadding="1" cellspacing="0" style="text-align:center; width:90%">

<caption><font size="+2"><math>\text{Table 4.} ~~ \text{Qualifiers of the Implication Ordering:} ~ \alpha_{i} f = \Upsilon (f_{i}, f) = \Upsilon (f_{i} \Rightarrow f)</math></font></caption>

<caption><font size="+2"><math>\text{Table 4.} ~~ \text{Qualifiers of the Implication Ordering:} ~ \alpha_{i} f = \Upsilon (f_{i}, f) = \Upsilon (f_{i} \Rightarrow f)</math></font></caption>

<table align="center" cellpadding="1" cellspacing="0" style="text-align:center; width:90%">

<table align="center" cellpadding="1" cellspacing="0" style="text-align:center; width:90%">

<caption><font size="+2"><math>\texttt{Table 5.} ~~ \text{Qualifiers of the Implication Ordering:} ~ \beta_i f = \Upsilon (f, f_i) = \Upsilon (f \Rightarrow f_i)</math></font></caption>

<caption><font size="+2"><math>\text{Table 5.} ~~ \text{Qualifiers of the Implication Ordering:} ~ \beta_i f = \Upsilon (f, f_i) = \Upsilon (f \Rightarrow f_i)</math></font></caption>

<tr>

<tr>