利用數學方法研究邏輯規(guī)律的科學。又稱邏輯代數、開關代數。取一個形式符號系統(tǒng),其中有常符號0,1,一元函數符號“-”:二元函數符號“+”;以及關于這組符號的形式公理系統(tǒng)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 字 ) [閱讀本文] >>
海量資源,盡在掌握
 利用數學方法研究邏輯規(guī)律的科學。又稱邏輯代數、開關代數。取一個形式符號系統(tǒng),其中有常符號0,1,一元函數符號“-”:二元函數符號“+”;以及關于這組符號的形式公理系統(tǒng)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 字 ) [閱讀本文] >>