邏輯代數(shù)是一個(gè)由邏輯變量集 k ，常量 0 和 1 以及 “ 與 ” 、 “ 或 ” 、 “ 非 ” 3種基本運(yùn)算構(gòu)成的一個(gè)封閉的代數(shù)系統(tǒng)，記為 l ={ k , +, · , -, 0, 1} 。它是一個(gè)二值代數(shù)系統(tǒng)。 常 量 0 和 1 表示真和假，無(wú)大小之分。
該系統(tǒng)滿(mǎn)足下列公理 ：
公理 1 交換律 a+b=b+a, a·b=b·a
公理 2 結(jié)合律(a+b)+c=a+(b+c),(a·b)·c = a·(b·c)
公理 3 分配律 a+(b·c) =(a+b)·(b+c), a·(b+c) = a·b+a·c
公理 4 0-1律 a+0=a ,a·1=a;a+1=1, a·0=0
公理 5 互補(bǔ)律 a+=1,a·=0