加载中…
We prove a relationship between certain integer expressions involving operators similar to the binary exclusive or. This gives a proof and generalization of a result conjectured about sequence A178729 in Sloane’s Online Encyclopedia of Integer Sequences. We use transducers to prove this result.

生成讲解博客的中文版本

生成AI智能校验的中文版本