代入法則:它可描述為邏輯代數(shù)式中的任何變量a,都可用另一個(gè)函數(shù)z代替,等式仍然成立。
對(duì)偶法則:它可描述為對(duì)任何一個(gè)邏輯表達(dá)式f,如果將其中的“+”換成“*”,“*”換成“+”,“1”換成“0”,“0”換成“1”,仍保持原來的邏輯優(yōu)先級(jí),則可得到原函數(shù)f的對(duì)偶式g,而且f與g互為對(duì)偶式。我們可以看出基本公式是成對(duì)出現(xiàn)的,二都互為對(duì)偶式。
反演法則:有原函數(shù)求反函數(shù)就稱為反演(利用摩根定律)。
我們可以把反演法則這樣描述:將原函數(shù)f中的“*”換成“+”,“+”換成“*”,“0”換成“1”,“1”換成“0”;原變量換成反變量,反變量換成原變量,長(zhǎng)非號(hào)即兩個(gè)或兩個(gè)以上變量的非號(hào)不變,就得到原函數(shù)的反函數(shù)。