主题
Search

罗宾斯猜想

罗宾斯代数的方程、交换律、结合律和罗宾斯公理的猜想

!(!(x v y) v !(x v !y))=x,

其中 !x 表示 非，并且 x v y 表示 或，蕴含了布尔代数的方程。该猜想最终通过计算机证明 (McCune 1997)。

参见

布尔代数, 罗宾斯代数, 罗宾斯公理

使用 探索

参考文献

Kolata, G. "Computer Math Proof Shows Reasoning Power." New York Times, Dec. 10, 1996.McCune, W. "Solution of the Robbins Problem." J. Automat. Reason. 19, 263-276, 1997.McCune, W. "Robbins Algebras Are Boolean." http://www.cs.unm.edu/~mccune/papers/robbins/.

在 中被引用

罗宾斯猜想

引用为

Weisstein, Eric W. "罗宾斯猜想。" 来自 ——Wolfram 网络资源。 https://mathworld.net.cn/RobbinsConjecture.html

主题分类