Problem 28'
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
のどれかである。
たぶん、証明できた。