亨廷顿公理系统

亨廷顿公理系统(Huntington axiomatic system)通常用来定义布尔代数〈B，+，·，′，0，1〉的一种公理系统，由亨廷顿(E.V.Huntington)于1904年提出，值得指出的是，这个公理系统中每一条都有两个式子，它们互为对偶，因此通常把这些条件称为自对偶的公理系统；然而这个公理系统却不是独立的，若将布尔代数的性质3中a+0=a或a·1=a去掉，则由其余的公理组成的系统才是独立的。在布尔代数中，有几种不同的公理系统。