在研究 羅賓斯公理及其與布林代數的聯絡中出現的條件。 Winkler 研究了布林條件（例如冪等性或零元素的存在），這些條件將使羅賓斯代數成為布林代數。 Winkler 證明了以下每個條件
 |
 |
其中 
表示 OR 且 
表示 NOT，被稱為第一和第二 Winkler 條件，就足夠了。 計算機證明表明，每個羅賓斯代數都滿足第二 Winkler 條件，由此立即得出所有羅賓斯代數都是布林代數。
Winkler 條件
另請參閱
布林代數, 亨廷頓公理, 羅賓斯代數, 羅賓斯公理透過 探索
參考文獻
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.在 上引用
Winkler 條件請引用為
Weisstein, Eric W. "Winkler 條件。" 來自 Web 資源。 https://mathworld.tw/WinklerConditions.html