Changes

Talk:Logical graph (view source)

Revision as of 02:18, 12 December 2008

4 bytes added , 02:18, 12 December 2008

Line 457: Line 457:

|}

−

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 1. Expressed in terms of the implication ordering on the sixteen functions, <math>\alpha_i f = 1\!</math> says that <math>f\!</math> is ''above'' <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 1. Expressed in terms of the implication ordering on the sixteen functions, <math>\alpha_i f = 1\!</math> says that <math>f\!</math> is ''above'' <math>f_i\!</math> in the implication lattice, that is, <math>f \ge f_i\!</math> in the implication ordering.

{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

Line 547: Line 547:

|}<br>

−

The values of the sixteen <math>\beta_i\!</math> on each of the sixteen boolean functions <math>f : \mathbb{B}^2 \to \mathbb{B}</math> are shown in Table 2. Expressed in terms of the implication ordering on the sixteen functions, <math>\beta_i f = 1\!</math> says that <math>f\!</math> is ''below'' <math>f_i\!</math> in the implication lattice, that is, <math>\le f_i\!</math> in the implication ordering.

+

The values of the sixteen <math>\beta_i\!</math> on each of the sixteen boolean functions <math>f : \mathbb{B}^2 \to \mathbb{B}</math> are shown in Table 2. Expressed in terms of the implication ordering on the sixteen functions, <math>\beta_i f = 1\!</math> says that <math>f\!</math> is ''below'' <math>f_i\!</math> in the implication lattice, that is, <math>f \le f_i\!</math> in the implication ordering.

{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

Jon Awbrey

12,080

edits