河野真衣
「+」を論理和演算子とすると、a+3b=3abがどういう意味になるのか知識不足の私には解りかねますので、申し訳ありませんが判定不能ということで。
↓
えらくややこしい話になってきましたが、簡単に言えば、
x,y,zの3数があって、
x=yが成り立つなら、x+z=yも成り立つというような演算なんでしょうか?
↓
ご教示ありがとうございます。
x=yまたはz=yが真なら、x+z=yもまた真であるということにする演算法のようですね。私がお答えを判定するのはおこがましいので差し控えておきます。