个人解答之兆易创新2016年9月校招笔试题_IC设计/验证

题目见上篇博客。

1.  本题采用两个技巧：1. 使用冗余项定理增加冗余项，ab + a'c = ab + a'c + bc;  2. 使用 a + a'b = a + b;

(1) Y = AD + BC'D' + A'C' + B'C' = AD + A'C' + C'D + BC'D' + B'C' = AD + A'C' + C'D + BC' + B'C' = AD + C';

(2) Y= ABC + ABD + AC'D + C'D' + AB'C + A'CD' = ABC + ABD + C'(AD + D') + AB'C + A'CD' = ABC + ABD + C'A + C'D'  + AB'C + A'CD' = AC + ABD + AC' + C'D' + AB' + A'CD' = A + C'D' + A'CD' = A + CD' + C'D' = A + D' ;

---TBC----