http://homepage1.nifty.com/herumi/diary/0808.html#23最初は同じようににやってたんだけど、 2∧1∧0 = 2(1∧0) から先に進むには、1∧0が1または0だと分かってないとどうしようもねー。って結論になってあきらめた。 なんかいい方法があったんだろうか。 φ(φ(…

の証明をtwitterに書くのは余白が足りなすぎるので、ここにメモ。問題: http://twitter.com/t33f/statuses/895165259記号が分かりにくいので以下∧で書くことにする。条件は 0∧0 = 0 a∧b = b∧a (a∧b)∧c = a∧(b∧c) (a∧b)+c = (a+c)∧(b+c) 以下、証明