亨廷顿（1933）提出的公理，作为他对布尔值代数,
 |
(1)
|
哪里
表示不是和
表示或.综合起来由（1）、交换性组成的三个公理
 |
(2)
|
和结合性
 |
（3）
|
等同于布尔代数.
Huntington运算符可以在沃尔夫拉姆语言签署人：
亨廷顿：=函数[{x，y}，！（！x\[或]y）\[或者]！（！x\[或]！y）]
亨廷顿公理是布尔值代数可以通过检查其真理表.
另请参见
布尔代数,罗宾斯代数,罗宾斯公理,温克勒条件,Wolfram公理
与Wolfram一起探索| Alpha
工具书类
E.V.亨廷顿。“逻辑代数的新独立假设集，特别参考怀特黑德和罗素的普林西米亚马塞马提卡。"事务处理。阿默尔。数学。Soc公司。 35, 274-304, 1933.亨廷顿，E.与。“布尔代数。修正。”事务处理。阿默尔。数学。Soc公司。 35,557-558, 1933.参考Wolfram | Alpha
亨廷顿公理
引用如下：
埃里克·魏斯坦（Eric W.Weisstein）。“亨廷顿公理。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/HuntingtonAxiom.html
主题分类
