TETRA'S MATHの「ランチには、コーヒーか紅茶かオレンジジュースがつきます」で、排他的論理和が結合法則を満たすかどうかを試していらっしゃいました。 たとえば、泥臭い方法かもしれませんが、真理値表(truth table)を描く方法もあるかな、と思いました。 …