主題
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.tw/RobbinsConjecture.html

主題分類