先补点各种门的 basic knowledge
NAND 与非 NOR或非 XOR异或 XNOR 同或
对于同或，异或之前一直没搞明白。。。。那个该死的标记老是混淆，也不知道为嘛标记的发明人为嘛要那么标记
。。。现在知道了XOR。。。所以异或的标记是一个圈中间一把×
化简：
上面预设的ABCD的值输出结果是1
至于化简过程是为嘛。。。这个就是一步步化简。。。。各种求并消项
切记！不要搞这种傻事！
然后就是另外一个很重要的化简方法——卡诺图
将n变量的全部最小项各用一个小方块表示，并使具有逻辑相邻性的最小项在几何位置上也相邻地排列起来，所得到的图形叫做n变量的卡诺图（Karnaugh Map）。
一个demo
原文：http://blog.csdn.net/u011368821/article/details/27802413
