《《数字电子技术基础》第五版：第二章 逻辑代数基础》由会员分享，可在线阅读，更多相关《《数字电子技术基础》第五版：第二章 逻辑代数基础（79页珍藏版）》请在装配图网上搜索。
1、ANOTY A序号序号公公 式式公公 式式1 A=A证明方法：推演 真值表左右BCABCCBABCACABACABA)()(1序 号公 式21A+A B=A22A+A B=A+B23A B+A B=A24A(A+B)=A25A B+A C+B C=A B+A CA B A C+B CD=A B+A C26A(AB)=A B;A(AB)=A CBABCACBABCBBABA)()()(代入以原变量反变量反变量原变量，0110YY变换顺序变换顺序 先括号，先括号，然后乘，最后加然后乘，最后加不属于单个变量的不属于单个变量的上的反号保留不变上的反号保留不变DCBDACBCADCCBAYCDCBAY)
2、()()(CBAY )(CBAY)(BAB)(BAA)()(BABABABABABABABABA)()()(）4个（22ABBABABA,）8个（32ABCCABCBACBABCACBACBACBA,ABCCABCBACBABCACBACBACBABACCBABCACBABCACBA)(与),()(),(763mBCAABCCABAABCCABBCCABCBAY利用公式利用公式可将任何一个函数化为可将任何一个函数化为1 AA im),()(),(763mBCAABCCABAABCCABBCCABCBAY利用公式利用公式可将任何一个函数化为可将任何一个函数化为1 AA im),()(),(763
3、mBCAABCCABAABCCABBCCABCBAY利用公式利用公式可将任何一个函数化为可将任何一个函数化为1 AA imDCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(DCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(DCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(DCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(）4个（22BABABABA,CBAC
4、BACBACBACBACBACBACBA imYikkmYikkmY)(kikkikMmYCBACYACDCBABCY21DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY)()()(DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY)()()(DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY)()()(DBCBADCDBCBADEBAADCDBCBACDEBACBA
5、DCDBCBACCBADEBADBCACBADCDBCBACY)()()(DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY)()()(im),()()(),(15111098641mCDDCDCCDBADBACCDCBABADBADCBADCBAYCBCBCACACBAY),(ABCCBCBCACACBAY),(CBCABAABCCBCBCACACBAY),(ABCCBBACACBCBCACACBAY),(CBCABACBBACAABCDDCACBADCDCAABDABCY DCACBADCDCAABDABCY ABCDDAABCD=0DCB+ADD+ABCD+ABCCB+ADCD+ABCBACD+BADCBABCDADCBAY 给定约束条件为：给定约束条件为：例：ABCD=0DCB+ADD+ABCD+ABCCB+ADCD+ABCBACD+BADCBABCDADCBAY 给定约束条件为：给定约束条件为：例：ABCDDADA=0DCB+ADD+ABCD+ABCCB+ADCD+ABCBACD+BADCBABCDADCBAY 给定约束条件为：给定约束条件为：例：086421514131211105 mmmmmmm:),(m)D,C,B,A(Y约束条项约束条项ABCDDCDBDAY
《数字电子技术基础》第五版：第二章 逻辑代数基础
