複素解析～XORでXORをつくる～

(円1)(円2)(円3)(円4)<0

ってやったんですけど、領域4つだとはっきり、排他的論理和じゃないことがわかってきますよね。
というか、円を(|z-a|-r)って表現して、それを掛け算してる時点で実数確定なんだから、プラスかマイナスしかないわけですよ。

そんなんに都合よく4つの円の排他的論理和だけを振り分けるほうが無茶ブリでしたよね


でも、この領域のイメージの仕方自体は排他的論理和
というか加法標準形なんですよね。

(円1>0&&
円2<0&&
円3<0&&
円4<0)

||

(円1<0&&
円2>0&&
円3<0&&
円4<0)

||

(円1<0&&
円2<0&&
円3>0&&
円4<0)

||

(円1<0&&
円2<0&&
円3<0&&
円4>0)

||

(円1<0&&
円2>0&&
円3>0&&
円4>0)

||

(円1>0&&
円2<0&&
円3>0&&
円4>0)

||

(円1>0&&
円2>0&&
円3<0&&
円4>0)


||

(円1>0&&
円2>0&&
円3>0&&
円4<0)


ほらね、組み合わせ＝領域の数が8通りあるでそ？


2つ以下の掛け算じゃないと排他的論理和にならず、
「領域レイヤーの枚数が奇数毎重なってるところが条件を満たす」にしかならんのですよ
要素3つのベン図みたいの作りたかったらまるで想像と逆の領域が血塗られてしまいますわね