⊗_≡[⊗,⊕] ↔ composed operation
1) If {[A=(a⊕b),B=(c⊕d)]} → (A⊗_B)=(a⊕b)⊗(c⊕d)
2) (a⊕b)⊗(c⊕d)=(a⊗c)⊕(a⊗d)⊕(b⊗c)⊕(b⊗d)