四角形ガジェット
定数割当
https://scrapbox.io/files/665184d435b83b001ddc44d6.png https://gyazo.com/7755508b7fdc41d60f950d2cdc96ef07
外側の辺変数を 3 つ true に割り当てられない
https://scrapbox.io/files/6654759468f897001d432b4e.png
上の外側の辺変数 (左側 True, 右側 False) を決めると他の辺変数も自動で決まる
https://scrapbox.io/files/665185b11e5d75001d2069d3.png https://gyazo.com/e74b34d7001f8b35768f6ff88865dea6
三角形ガジェットと同じようなルールの色で表すことはできないが、これも定数割当と回転対称の同じ図形の実質 2 通りになってる https://scrapbox.io/files/665476226b0936001c97ee91.png
https://scrapbox.io/files/6654766d49d7a3001c9154b3.png
https://scrapbox.io/files/665476d3b30155001c1fc8c2.png