邏輯代數(shù)l是一個(gè)封閉的代數(shù)系統(tǒng)，它由一個(gè)邏輯變量集k，常量0和1以及“或”、“與”、“非”3種基本運(yùn)算所構(gòu)成，記為l={k,+,·,-,0,1}。該系統(tǒng)應(yīng)滿足下列公理。
公理1 交換律
對(duì)于任意邏輯變量a、b，有
公理2 結(jié)合律
對(duì)于任意的邏輯變量a、b、c，有
公理3 分配律
對(duì)于任意的邏輯變量a、b、c，有
公理4 0—1律
對(duì)于任意邏輯變量a，有
公理5 互補(bǔ)律
對(duì)于任意邏輯變量a，存在惟一的，使得
公理是一個(gè)代數(shù)系統(tǒng)的基本出發(fā)點(diǎn)，無(wú)需加以證明。