For example, suppose that a logic formula x takes an n-bit sequence; the truth value T(x) is the number of bit 1s on x divided by n; a logic operation is one to which a Boolean binary operation is applied bitwise. Under condition of n = 4 and T(x) = T(y) = 0.5, candidates of (x, y) are (1100, 1100), (1100, 1010), (1100, 0011), etc. Hence the implication from x to y takes 1111 (the truth value of which is 1), 1011 (the truth value of which is 0.75), 0011 (the truth value of which is 0.5), etc. This means that the truth value of implication is not necessarily unique. Thus we can configure, as a multidimensional Boolean logic on normal computers, such a logic system that truth values are not determined uniquely in inferences by applying logic operations to definite knowledges, that is, to plural logic formulae with known truth values, which means that computers can reasonably have individualities.

例えば論理式は n ビット列、真理値はビット 1 の個数を n で割った値とし、論理演算はブール二元論理演算をビットごとに適用したものとするとき、n = 4 かつ論理式 x と y の真理値が共に 0.5 なる前提下で、(x, y) の候補として (1100, 1100) や (1100, 1010) や (1100, 0011) などが得られるので、含意 x→y は 1111（真理値 1）や 1011（真理値 0.75）や 0011（真理値 0.5）などとなり、含意の真理値は一意には定まりません。このように、知識（すなわち、真理値が既知である複数の論理式）に対し論理演算を適用して推論をおこなう際に真理値が一意には定まらないような論理系は、一般的なコンピューター上の多次元ブール論理系として構築でき、このことはコンピューターが合理的に個性を持ち得ることを示唆します。