【问题标题】:What's the difference between the dual and the complement of a boolean expression?布尔表达式的对偶和补码有什么区别?
【发布时间】:2012-07-31 18:36:24
【问题描述】:

是一样的吗?还是有细微的差别?我只是想确保我没有误会任何事情。

【问题讨论】:

标签: boolean boolean-logic boolean-expression boolean-operations


【解决方案1】:

布尔对偶是通过简单地将 AND 替换为 OR 并将 OR 替换为 AND 来生成的。补语本身不受影响,因为表达式的补语是用 OR 替换 AND 对变量的否定,反之亦然。

考虑:

A+B

补充:A'B'

双:AB

【讨论】:

  • 嗨,假设我们有一个声明,A + A' = 1,那么它的补码是A' . A = 0,对偶是A . A' = 0,这是错误的。你能解释一下吗?
  • 所有这些陈述都是真实的。 A AND NOT A 总是假的。
  • Duals 也将 1 更改为 0,反之亦然。这是否意味着采取对偶也会导致整体价值的互补?例如,如果 A+B=0,则补码将是 A'.B'=1,对偶将是 A.B=1。两者都会使总价值为 1,这是原始价值的补充。
  • 补语和对偶的实际用途是什么?
【解决方案2】:

“一个身份的对偶也是一个身份。这叫做对偶原理”。布尔标识是 X+0=X 或 X+X=X。他们有很多。 Duals 仅适用于身份。要找到对偶,请切换运算符 (+ & .) 并切换标识元素(0 和 1,如果有任何 0 和 1)以将 X+0=X 更改为 X.1=X 并更改 X+X=X到 XX=X,它创建了同样有效的新身份。从像 X'Y+XY'=1 这样的任意表达式创建对偶是没有意义的。补码依赖于任意表达式,例如 f1(x,y)=X'Y+XY',其补码为 f2(x,y)=(X+Y').(X'+Y) 如果如果将相同的值插入 f2(x,y),则将值插入 f1(x,y) 将得到完全相反的结果。通过否定每个变量并切换每个运算符来形成补语。

【讨论】:

    【解决方案3】:

    假设函数 f = {a, c', h', i', l, l, e, s, 1, 0}

    f 补码将是 f = {a', c, h, i, l', l', e', s', 0, 1}

    f 对偶将是 f = {a, c', h', i', l, l, e, s, 0, 1} 注意:对于二元文字将保持原样。只有 OR 门被 AND 门替换,反之亦然 和 1 替换 0,反之亦然

    但如果与门和值一起补充,文字将被补充。

    这里是完整的例子: 如果我们想得到 x'+y' 的赞美

    补语:(x')'.(y')'

    对偶说:x.y

    【讨论】:

      【解决方案4】:

      在对偶中,AND 被 OR 运算符替换,OR 被 AND 运算符替换,但补语保持不变。在补语中,AND 或替换为 OR,OR 将被 AND 替换,并且补语也发生了变化。

      【讨论】:

        【解决方案5】:

        除了已经说过的。
        还需要注意的是,1 的对偶是 0,反之亦然,这类似于补码运算。
        例如:x+1 = 1
        对偶是:x.0 = 0

        【讨论】:

          【解决方案6】:

          在寻找对偶时,我们替换

          1. AND 与 OR,反之亦然
          2. 0 和 1,反之亦然

          在寻找补语的时候,除了以上两个,我们还需要替换

          A 与 A' 反之亦然 (即变量及其补码)

          【讨论】:

            【解决方案7】:

            实际上对偶性是通过交换 1 和 0 获得的 以及(AND 和 OR) 但作为补充,另一件事将包括在这个可变的变化中 如果 x 它将被 x bar 替换 例子 f= (x+y) f 的对偶是 = x.y 但 补充 = x(bar).y(bar)

            【讨论】:

              猜你喜欢
              • 2010-11-13
              • 2014-08-23
              • 2013-04-26
              • 2023-03-04
              • 1970-01-01
              • 2011-05-30
              • 2017-03-07
              • 2021-06-17
              • 2010-09-13
              相关资源
              最近更新 更多