利用数学方法研究逻辑规律的科学。又称逻辑代数、开关代数。取一个形式符号系统,其中有常符号0,1,一元函数符号“-”:二元函数符号“+”;以及关于这组符号的形式公理系统A1:x+y=y+x,x·y=y·x;A2:x+(y·z)=(x+y)·(x+z),x·(y+z)=x·y+x·z;A3:x+ (本文共 532 字 ) [阅读本文] >>
海量资源,尽在掌握
 利用数学方法研究逻辑规律的科学。又称逻辑代数、开关代数。取一个形式符号系统,其中有常符号0,1,一元函数符号“-”:二元函数符号“+”;以及关于这组符号的形式公理系统A1:x+y=y+x,x·y=y·x;A2:x+(y·z)=(x+y)·(x+z),x·(y+z)=x·y+x·z;A3:x+ (本文共 532 字 ) [阅读本文] >>