y=a'b'+ab=ab(1+a'+b')+a'b'=ab+aba'+abb'+a'b'=(ab+a')(ab+b')=((ab)'a)'((ab)'b)'另外一个想法：已知异或的与非与非表达式：((ab)'a)'((ab)'b)')'同或就是异恩对画2个相交的圆一个是A 一个是B (A与B)非=（A非与B非+A非与B+A与B非）等于2圆
非A推B式适合二者则一的情况。我们在形式逻辑中学过一个公式：A∨B=┐A→B。这个公式用在论证中，可称为选言证法。我们采用非A推B式写论说文也是同样的思路。5、ABAB式ABAB式适合ABF = ^(A+B) 001 010 100 110 六、与或非ABCDF = ^(AB+CD) 七、异或相同得0;相异得1 ABF = ^AB + A^B 000 011 101 110 八、同或相同得1;相异得0 ABF =AB +
这是当然不正确的显然A+A非=B+B非=1 那么二者相乘即(A+A非)(B+B非)=A非B非+AB+A非B+AB非=1 于是只有A非B+AB非=0的=AC′+BA′+BC=AC′+B(A'+C)【结合律】AC'+BAC'【摩根定律】AC'【吸收律】ABC′+A′BC+AC(B+1)=ABC′+A′BC+ACB+AC【分配律】ABC′+ABC+A′BC+AC【交换律】AB
意思就是符合A的情况下，B是真的。矛盾命题就是A且（▬B），意思就是符合A但确实▬B（B矩阵基础知识a+b的逆不等于A的逆加B的逆。两个矩阵要能相乘首先要满足A的列数等于B的行数，从而计算AB，你这个例子不能计算，只有求矩阵BA，令C=BA，则C为一个三行两列的矩阵，也就
