第二章清华ppt课件

1、EED of USTSEED of USTSEED of USTSEED of USTSEED of USTSEED of USTSEED of USTSANOTY AEED of USTSEED of USTSEED of USTSEED of USTSEED of USTS证明方法：推演 真值表EED of USTS左右BCABCCBABCACABACABA)()(1EED of USTSEED of USTSEED of USTSEED of USTSEED of USTSCBABCACBABCBBABA)()()(代入以EED of USTS原变量反变量反变量原变量，0110YY不属于

2、单个变量的不属于单个变量的上的反号保管不变上的反号保管不变EED of USTSDCBDACBCADCCBAYCDCBAY)()(EED of USTSEED of USTSEED of USTSEED of USTSEED of USTSEED of USTSEED of USTS)(CBAY EED of USTSEED of USTSEED of USTS)(CBAYEED of USTS)( BAB)(BAA) )()(BABABABABABABABABA)() )()(EED of USTSEED of USTSEED of USTS）4个（22ABBABABA,）8个（32ABCC

3、ABCBACBABCACBACBACBA,EED of USTSABCCABCBACBABCACBACBACBAEED of USTSBACCBABCACBABCACBA)(与EED of USTS),()(),(763mBCAABCCABAABCCABBCCABCBAY利用公式利用公式可将任何一个函数化为可将任何一个函数化为1 AA imEED of USTS),()(),(763mBCAABCCABAABCCABBCCABCBAY利用公式利用公式可将任何一个函数化为可将任何一个函数化为1 AA imEED of USTS),()(),(763mBCAABCCABAABCCABBCCABCB

4、AY利用公式利用公式可将任何一个函数化为可将任何一个函数化为1 AA imEED of USTSDCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(EED of USTSDCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(EED of USTSDCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(EED of USTSDCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),

5、(EED of USTS）4个（22BABABABA,EED of USTSEED of USTSCBACBACBACBACBACBACBACBAEED of USTS imYikkmYikkmY)(kikkikMmYEED of USTSCBACYACDCBABCY21EED of USTSDBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY )()()(EED of USTSDBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY)()()(EED

6、 of USTSDBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY)()()(EED of USTSDBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY)()()(EED of USTSDBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY)()()(EED of USTSEED of USTSEED of USTSEED of USTSEED of USTSEED of U

7、STS imEED of USTS),()()(),CDDCDCCDBADBACCDCBABADBADCBADCBAYEED of USTSEED of USTSEED of USTSEED of USTSEED of USTSEED of USTSEED of USTSCBCBCACACBAY),(ABCEED of USTSCBCBCACACBAY),(CBCABAABCEED of USTSCBCBCACACBAY),(ABCCBBACAEED of USTSCBCBCACACBAY),(CBCABACBBACAEED of USTSABCDDCACBADCDCAABDABCY EED of USTSDCACBADCDCAABDABCY ABCDDAEED of USTSEED of USTSEED of USTSABCD=0DCB+ADD+ABCD+ABCCB+ADCD+ABCBACD+BADCBABCDADCBAY 给给定定约约束束条条件件为为：例：EED of USTSABCD=0DCB+ADD+ABCD+ABCCB+ADCD+ABCBACD+BADCBABCDADCBAY 给给定定约约束束条条件件为为：例：EED of USTSABCDDADA =0DCB+ADD+ABCD+ABCCB+ADCD+ABCBACD+B