2変数共有EQUAL
from SAT の色んなガジェット
3 段階段
節同士が 2 変数共有して良いなら、イコールの関係を作れるガジェットは 3 段階段が最小
https://scrapbox.io/files/649f50a6018fbe001c8536ab.png