1.代入規(guī)則 任何一個含有變量x的等式,如果將所有出現(xiàn) x的位置都代入同一個邏輯函數(shù),則此等式仍然成立。
【例】b(a十c)=ba+bc,現(xiàn)將所有出現(xiàn)a的地方都代入函數(shù)f=bc,則有
左式:b(bc十c)=bbc十bc=bc
右式:b b c十b c = b c
2.反演規(guī)則 它是使用摩根定律,來求的非函數(shù)
已知一個邏輯函數(shù) f,當(dāng)求其反函數(shù) 時, ①將 f 表達(dá)式中的與(·)換成或(十),或(十)換成與(·);②將原變量換成非變量,非變量換成原變量;③將邏輯1換成0,0換成l。
在使用反演規(guī)則還需注意:仍需遵守“先括號,然后乘,最后加”的運(yùn)算優(yōu)先次序;不屬于單個變量上的反號應(yīng)保留不變。
【例】 已知f = a(b + c)+ c d,求 。
3.對偶規(guī)則 如果兩個表達(dá)式相等,那么它們的對偶式也一定相等,稱為對偶規(guī)則。 f 是一個邏輯表達(dá)式,把f中的與(·)換成或(+),或(+)換成與(·);1換成0,0換成1,所得的新的邏輯函數(shù)式叫f的對偶式,記為f'。