EQUALガジェット
from
SAT の色んなガジェット
EQUALガジェット
exactly
縛りをしないと
レンガ状正1-in-3 SAT
で簡単に変数を複製できる
https://scrapbox.io/files/649f7eb37fe596001be5efb4.png