一、代入定理
　　在一个逻辑等式两头呈现某个变量（逻辑式）的悉数方位都代入另一个变量（逻辑式），则等式依然树立。
　　二、反演定理
　　对一个逻辑函数Y进行如下改换：
　　将悉数的“．”换成“＋”， “＋”换成“．”， “0”换成“1”， “1”换成“0”，原变量换成反变量， 反变量换成原变量，则得到函数Y的反函数Y’ （或称补函数） 。
　　留神：1、遵从“先括号、然后乘、究竟加”的运算优先次第；
　　2、不归于单个变量上的反号应保存不变。
　　三、对偶定理
　　对一个逻辑函数Y进行如下改换：
　　将悉数的“．”换成“＋”， “＋”换成“．”，“0”换成“1”， “1”换成“0”，
　　则得到函数Y的对偶函数YD。
　　对偶规矩：若两个函数持平，则它们的对偶函数亦持平。

上一篇：根柢和常用逻辑运算

下一篇：MOS集成逻辑门电路