Evaluation Warning: The document was created with Spire.Doc for .NET.Р布尔代数公理及其他常用逻辑运算n(1874-1952)Р在1933年，美国数学家EdwardVermilyeHuntingtonРРРР展示了对布尔代数的如下公理化：РX。Р交换律:РРРРР结合律：(X+y)+z=x+(y+z)Huntington等式：n(n(x)+y)+n(n(x)+n(y))二xHerbertRobbins接着摆出下列问题：Huntington等式能否缩短为下述的等式，并且这个新等式与结合律和交换律一起成为布尔代数的基础？通过一组叫做Robbins代数的公理，问题就变成了：是否所有的Robbins代数都是布尔代数？РRobbins代数的公理化：Р交换律：x+y=y+x。Р结合律：(x+y)+z=x+(y+z)。РRobbins等式：n(n(x+y')+n(x+n(y)))=x。Р这个问题自从1930年代一直是公开的，并成为AlfredTarski和他的学生最喜好的问题。Р在1996年，WilliamMcCune在Argonne国家实验室，建造在LarryWos、SteveWinker和BobVeroff的工作之上，肯定的回答了这个长期存在的问题：所有的Robbins代数都是布尔代数。这项РР工作是使用McCune的自动推理程序EQP完成的Р
全文预览
