2変数共有TRUE
from SAT の色んなガジェット
2変数共有TRUE
2変数共有EQUALの両端を同じ節に繋げた。
節同士の 2 変数の共有を許した場合は以下のように const を作れる
1 辺を共有すると非共有変数が同じ値を取るしかなくなる
同じ値を取っている変数を1つの節にまとめる
https://scrapbox.io/files/649f839bd551c6001cc3ad69.png