スイッチャルーの規則というのは、『ゲーデル、エッシャー、バッハ』（翻訳は1985年白楊社、原書は1979年）に出てくるんだけど、検索してもド・モルガンの規則（法則）はあるんだけど、スイッチャルーのほうはないんだよな。p200（2005年白楊社から20周年記…