Двухполярная лока n

В суперпозиционных локах наблюдаются закономерности:

1. Взаимодействию всех элементов из числа лок можно поставить в соответствие только единицу: (А)*(В)*… *(N) = 0.

2. Любому числу взаимодействующих объектов можно поставить в соответствие оставшееся число объектов: (А)*(В)*(С)*…*(Х) = (Y)*(Z)*….*(N).

3. Постановка в соответствие двум объектам третьего возможна, когда взаимодействию всех трёх объектов ставится в соответствие единица, тогда (X)*(Y)*(Z) = 0, (X)*(Y) = Z, (X)*(Z) = Y, (Y)*(Z) = X.

4. Если число лок кратно трём, то каждым трём объектам можно ставить в соответствие единицу. Например, для (А)*(В)(C)*(D)*(E)*(F)*(G)*(H)*(I) = 0, будет (А)*(В)(C) = 0, (D)*(E)*(F) = 0, (G)*(H)*(I) = 0.

Теорема 22.

Если в суперпозиционной локе N общее число входящих лок 2 кратно трём, то взаимодействию каждых трёх различающихся выбранных объектов можно поставить в соответствие единицу, так, чтобы при этом в каждой «тройке» не присутствовал объект от других «троек».

Доказательство.

1. Если (А)*(В)*(С) = 0, …., (X)*(Y)*(Z) = 0, …, (L)*(M)*(N) = 0, то это не будет противоречить тому, что (А)*(В)*… *(N) = 0, так как частичная или полная совокупность таких взаимодействующих «троек» будет соответствовать условию (А)*(В)*(С)*…* (X)*(Y)*(Z) = (K)*(L)*….*(N).

2. Так как любую «тройку» можно заменить единицей, то взаимодействие остальных объектов не нарушается.

Теорема 23. Если в число слагающих суперпозиционную локу N двухполярных лок кратно трём, то постановка в соответствие двум объектам третьего возможна только в каждой «тройке».

Доказательство.

1. Если (А)*(В)*(С) = 0 и любое другое взаимодействие трёх объектов (X)*(Y)*(Z) = 0, то (X)*(Y) = Z не вносит противоречие, так как в любом числе взаимодействий, заменяя (X)*(Y), получим (Z)*(Z) = 0, что соответствует условию.

2. Если берём объект А из любого (А)*(В)*(С) = 0 и находим его в (А)*(Y)*(Z) = 0, то из (А)*(В)*(С) = (X)*(Y)*(Z) получим, заменой А = (Y)*(Z), (А)*(В)*(С) = (А)*(X), то есть (В)*(С) = Х. Однако из (А)*(В)*(С) = 0 будет (В)*(С) = А.