580 Pages

## Element-related equations Edit

### Maximum number of pairs of elements to separate Edit

Maximum number of pairs of elements to separate refers to matrix triangularization of the matrix to permit comparison of each element with every other element to determine the number of pairs that are separable or disjoint. Pairs are separable or disjoint whenever the logic values of the elements that make up a pair are different. In theory, therefore the maximum possible number of pairs that can be separated is determined by the following equation:

$p_{max} = \frac{\left[{G (G-1)}\right]}{2}$, where:
• pmax is the maximum number of pairs to separate, and
• G is the number of elements in the bounded class.

### Order of elements Edit

The elements are arranged in descending order according to their truth table value, i.e., the value calculated as the sum of each characteristic's logic state value times the highest value of logic raised to the power of the order of the characteristic. The element notation truth table value allows elements to be sorted and identified as unique or equivalent.

$e_i = \sum_{j=0}^C \left[v_{i,j} V^{(C-j)}\right]$, where:
• ei is the element truth table value in the group,
• V is the highest value of logic in the group,
• v is the value of logic of each characteristic in the group,
• j is the jth characteristic index, where:
j = 0..C and where:
• C is the number of characteristics in the group,
• i is the ith element index, where:
i = 0..G and where:
• G is the number of elements in the bounded class.

Cite error: <ref> tags exist, but no <references/> tag was found
Community content is available under CC-BY-SA unless otherwise noted.