XORガジェット
from
SAT の色んなガジェット
XORガジェット
exactly
縛りをしないと
レンガ状正1-in-3 SAT
で簡単に
XOR
を作れる
https://scrapbox.io/files/649f7e5c6434ef001bef1354.png