5

我得到了以下卡诺图，但我仍然无法从每个表中计算出 XOR 的表达式。

                Table 1
                -------
                  WZ
         00    01   11   10
       -----------------------
    00 |     |    |    |  1  |
       -----------------------
    01 |  1  |    |    |     |
       -----------------------
XY  11 |     |    |    |  1  |
       -----------------------
    10 |  1  |    |    |     |
       -----------------------


                Table 2 
                -------
                   WZ
         00     01   11   10
       -----------------------
    00 |     |  1  |     |   |
       -----------------------
    01 |     |     |  1  |   |
       -----------------------
XY  11 |     |  1  |     |   |
       -----------------------
    10 |     |     |  1  |   |
       -----------------------

它是异或，但我怎样才能轻松推导出异或表达式？

4

4 回答 4

4

我不会从表达式中忽略变量 z，因为我认为表达式 ¬z·(¬x·y·¬w + ¬x·w·¬y + ¬y·¬w·x + w·y·x ) 不等于 (¬x·y·¬w + ¬x·w·¬y + ¬y·¬w·x + w·y·x)。这意味着，K-map 包含四个双精度数，但只有四个单精度数。

我宁愿在 K-map 中找到表达式，然后使用布尔代数定律。

表达式的 K-map，包括 3-input xor 和 3-input xnor

对于第一个表：

¬x·¬y·w·¬z + ¬x·y·¬w·¬z + x·y·w·¬z + x·¬y·¬w·¬z

¬z·((¬x + ¬y + w)·(¬x + y + ¬w)·(x + y + w)·(x + ¬y + ¬w))       //distributivity

¬z· (¬x + ¬y + w)·(¬x + y + ¬w)·(x + y + w)·(x + ¬y + ¬w)        //relaxed syntax

¬z· (¬x·¬x + ¬x·y + ¬x·¬w + ¬y·¬x + ¬y·y + ¬y·¬w + w·¬x + w·y + w·¬w)·
    (x·x + x·¬y + x·¬w + y·x + y·¬y + y·¬w + w·x + w·¬y + w·¬w)  //distributivity

因为法律

  • 幂等性（例如：¬x·¬x=¬x），
  • 吸收（例如：¬x + ¬x·y=¬x）
  • 和互补（例如：¬x·x=0）

表达式等价于：

¬z· (¬x                           +   0  + ¬y·¬w        + w·y +  0)·
    ( x  +                   +  0   + y·¬w +     + w·¬y +  0  )

¬z· (¬x + ¬y·¬w + w·y)·(x + y·¬w + w·¬y)     //just formatted

¬z· (¬x·x + ¬x·y·¬w + ¬x·w·¬y 
     + ¬y·¬w·x + ¬y·¬w·y·¬w + ¬y·¬w·w·¬y
     + w·y·x + w·y·y·¬w + w·y·w·¬y)          //distributivity

¬z· (  0  + ¬x·y·¬w + ¬x·w·¬y 
     + ¬y·¬w·x +     0      +      0
     + w·y·x +    0     +     0   )          //using the three laws↑ again

¬z· (¬x·y·¬w + ¬x·w·¬y + ¬y·¬w·x + w·y·x)    //how the 3-input XOR is defined

¬z· (x xor y xor w)

对于第二个表：

¬x·¬y·¬w·z + ¬x·y·w·z + x·y·¬w·z + x·¬y·w·z

z·((¬x + ¬y + ¬w)·(¬x + y + w)·(x + y + ¬w)·(x + ¬y + w))        //distributivity

z· (¬x + ¬y + ¬w)·(¬x + y + w)·(x + y + ¬w)·(x + ¬y + w)         //relaxed syntax

z· (¬x·¬x + ¬x·y + ¬x·w + ¬y·¬x + ¬y·y + ¬y·w + ¬w·¬x + ¬w·y + ¬w·w)·
   (x·x + x·¬y + x·w + y·x + y·¬y + y·w + ¬w·x + ¬w·¬y + ¬w·w)   //distributivity

z· (  ¬x +                      +   0  + ¬y·w +       + ¬w·y +   0 )·
   ( x  +                  +  0   + y·w +      + ¬w·¬y +   0 )

z· (¬x + ¬y·w + ¬w·y)·(x + y·w + ¬w·¬y)     //just formatted

z· (¬x·x + ¬x·y·w + ¬x·¬w·¬y
    + ¬y·w·x + ¬y·w·y·w + ¬y·w·¬w·¬y
    + ¬w·y·x + ¬w·y·y·w + ¬w·y·¬w·¬y)       //distributivity

z· (  0 + ¬x·y·w + ¬x·¬w·¬y
    + ¬y·w·x +     0    +     0
    + ¬w·y·x +     0    +     0)            //using the three laws↑ again

z· (¬x·y·w + ¬x·¬w·¬y + ¬y·w·x + ¬w·y·x)    //how the 3-input XNOR is defined

z· (x xnor y xnor w)
于 2016-06-16T15:22:37.623 回答
3

第一个表包含一个 Xor 表达式：

`第一张桌子`
                       w
    \ wz ___________
 xy \----------+
     | | | | 1 |
     +-----+-----+-----+------+
     | 1 | | | | |
     +-----+-----+-----+------+ | 是的
   | | | | | 1 | |
 x | +-----+-----+-----+------+
   | | 1 | | | |
     +------------------------+
            ___________
                 z

如您所见，桌子中间（Z 区域）是假的。也就是说，表函数是：

F(Table1) = w'x'yz' + wx'y'z' + w'xy'z' + wxyz'

以二进制形式，您可以看到零列：

F(Table) = 0010 消除 ZF(xor)= 001
           0100 ---------------\ 010
           1110 ---------------/ 111
           1000 100
              ^--> 假的

决赛桌必须是这样的：

`简化的异或表`
                w
      \ w 0 __1__
   xy \-----------+
    00 | | 1 |
       +-----+-----+
    01 | 1 | | |
       +-----+-----+ | y 和“ F = wy' + w'y ”只是一个异或
   |10 | 1 | | | 在两个变量之间，对吧？
 x | +-----+-----+
   |11 | | 1 |
       +-----------+


第二个表只包含第一个表的 Xnor 表达式：

`第二张表`
F(表2) = w'xyz + wxy'z + w'x'y'z + wx'yz
                          w
       \ wz ___________
    xy \-----------------------+ 表 2 的否定是表 1，反之亦然
        | | 1 | | | F(表2) = 1101 F(表2)'= F(表1) = 0010
        +-----+-----+-----+-----+ 1011 0100
        | | | 1 | | | 0001 1110
        +-----+-----+-----+------+ | 是 0111 1000
      | | | 1 | | | | ^--> 假的^
    x | +-----+-----+-----+------+         
      | | | | 1 | |         
        +------------------------+
           ^ ___________ ^
           ^ z ^
           ^ ^
           ^--------z'--------^

    决赛桌是：
                w
      \ w 0 __1__
   xy \-----------+
    00 | 1 | |
       +-----+-----+
    01 | | 1 | |
       +-----+-----+ | y 和“ F = w'y' + wy ”是一个 Xnor
   |10 | | 1 | |
 x | +-----+-----+
   |11 | 1 | |
       +-----------+

永远记住包含 zigzag 模式的表
是 Xor 或 Xnor 表达式。

于 2016-02-03T10:43:51.323 回答
1

只需将这张地图的副本放在它的右侧（或左侧，没有区别），然后选择两个倾斜的立方体。现在，我们为它们编写简化函数：

(A = 1) (AND) (B=0 当 C=1 和 B=1 当 C=0) (OR) (A = 0) (AND) (B=0 当 C=0 和 B=1 当 C =1）最后给出了这个：

(A AND (B XOR C)) OR (¬A AND (B XNOR C))

在纸上

于 2017-06-21T03:54:43.520 回答
1

xor 的基本规则是，当输入的奇数为 1 时，它给出 1。因此在 KMAP 中，只需查看 1 是否存在于所有奇数个 1 中。就像 WXYZ（0010、1110 等）一样，如果所有都给出 1，则 kmap 中存在 XOR。

于 2019-12-01T07:08:26.763 回答