在研究 罗宾斯公理及其与布尔代数的联系中出现的条件。 Winkler 研究了布尔条件（例如幂等性或零元素的存在），这些条件将使罗宾斯代数成为布尔代数。 Winkler 证明了以下每个条件
 |
 |
其中 
表示 OR 且 
表示 NOT，被称为第一和第二 Winkler 条件，就足够了。 计算机证明表明，每个罗宾斯代数都满足第二 Winkler 条件，由此立即得出所有罗宾斯代数都是布尔代数。
Winkler 条件
另请参阅
布尔代数, 亨廷顿公理, 罗宾斯代数, 罗宾斯公理通过 Wolfram|Alpha 探索
参考文献
McCune, W. "Robbins Algebras are Boolean." http://www.cs.unm.edu/~mccune/papers/robbins/.Winkler, S. "Robbins Algebra: Conditions that Make a Near-Boolean Algebra Boolean." J. Automated Reasoning 6, 465-489, 1990.Winkler, S. "Absorption and Idempotency Criteria for a Problem in Near-Boolean Algebra." J. Algebra 153, 414-423, 1992.在 Wolfram|Alpha 上引用
Winkler 条件请引用为
Weisstein, Eric W. "Winkler 条件。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/WinklerConditions.html