2008-08-26から1日間の記事一覧
http://twitter.com/kikx/statuses/899168582条件は 0∧0 = 0 (a∧b)∧c = a∧(b∧c) (a∧b)+c = (a+c)∧(b+c) で、結論は x∧y = min(x, y) x∧y = max(x, y) x∧y = x x∧y = y のどれかである。たぶん、証明できた。
http://twitter.com/kikx/statuses/899168582条件は 0∧0 = 0 (a∧b)∧c = a∧(b∧c) (a∧b)+c = (a+c)∧(b+c) で、結論は x∧y = min(x, y) x∧y = max(x, y) x∧y = x x∧y = y のどれかである。たぶん、証明できた。