产品总和的乘积

时间:2014-02-09 19:22:58

标签: boolean computer-architecture computer-algebra-systems

(A + B + C + D')(B + C'+ D)(A + C)(A + C)

这是我必须转换为产品总和的表达式。

我得到了(A'B'C'D)+(B'CD')+(A'C')+(A'C')

我不确定我是不是...... 如果我是,我可以将(A'C')和写为2(A'C')结合起来吗?

请帮忙

2 个答案:

答案 0 :(得分:0)

这里+指的是ORing和。是指ANDing操作。 (A' C')+(A' C')表示A& C补码与C&补码进行AND运算,该补码与A&补充C&#39。补充。

答案 1 :(得分:0)

正如Ashis所说,(A' C')+(A' C')只是(A' C')。

要简化表达,请使用卡诺图(请参阅http://en.wikipedia.org/wiki/Karnaugh_map)。

要检查答案,请将其真值表与原始表达式进行比较。 例如,在Maxima中,

(%i1) load(logic)$
(%i2) orig : (A or B or C or (not D)) and 
       (B or (not C) or D) and 
       (A or C)  and (A or C)$
(%i3) your_answer: ((not A) and (not B) and (not C ) and D) or
       ((not B) and C and (not D)) or
       ((not A) and (not C)) or
       ((not A) and (not C))$
(%i4) logic_equiv(orig,your_answer);
(%o4) false
(%i5) characteristic_vector(orig);
(%o5) [false,false,false,true,false,false,true,true,true,true,false,true,true
        ,true,true,true]
(%i6) characteristic_vector(your_answer);
(%o6) [true,true,true,false,true,true,false,false,false,false,true,false,
        false,false,false,false]

或者,仅举一例,

(%i7) orig, A=true, B=true, C=true, D=true;
(%o7) true
(%i8) your_answer, A=true, B=true, C=true, D=true;
(%o8) false