3 OR
from SAT の色んなガジェット
https://gyazo.com/c9111ce91c8e71ae04cb235c79f9cd50
3 OR
平面 3 SAT を 正1-in-3 SAT に変換するときに節をこれで置き換える
https://gyazo.com/df30f703091d13c0e09af1ae961f030c
https://gyazo.com/fe8b4898176d024a61c406e23c659fe1
変数を辺で表したバージョン
https://gyazo.com/917b93a6b256dc97798cb55a76606392
https://gyazo.com/6f841a64e6c3efcc2d9438c751fb3f41 https://gyazo.com/adf5ff82f8e011b8d47e2c61d3253129 https://gyazo.com/0552103038766884925f84cd654e394a https://gyazo.com/967f9c19eb10e5434dc8f37217f01550 https://gyazo.com/4cb9ec02c6be92c452e0c758bbacaeb8
✕
https://scrapbox.io/files/66502680b28f85001c7c9a1e.png
上の小さく描かれた五角形は✕節頂点を持たない変数辺につけるキャップ
✕節頂点を持たない変数辺につけるキャップが機能しない事がわかったので、これも機能しない。
下の四角形はかつてTRUEガジェットと呼んでいた構造
黒い辺変数は 3 OR を考えるに当たってはどうでも良い変数