【问题标题】:Name for the logical operator A & (~B)逻辑运算符 A & (~B) 的名称
【发布时间】:2012-11-26 13:31:27
【问题描述】:

是否有逻辑与的名称与第二个变量的否定(~),即:

A & (~B)

这种运算的真值表是:

0 & (~0) = 0
0 & (~1) = 0
1 & (~0) = 1
1 & (~1) = 0

在更长的位序列中,

A       = 10110011
B       = 10111001
A & B   = 10110001
A &(~B) = 00000010

PS - 我也对 OR 对第二个变量的否定感兴趣。

【问题讨论】:

  • 带有否定的 OR 称为蕴涵。

标签: logical-operators nomenclature truthtable


【解决方案1】:

难以置信。 A & (~B) 被称为Material nonimplication,而 A | (~B) 叫Material implication 好像是every possible binary operation has a name

【讨论】:

  • 我打算写这个作为答案。
  • 除非我会从Wikipedia: logical connective支持它
  • 哪个更好:“逻辑 NAND”还是“替代拒绝”?
  • @JanDvorak 搞笑。联合我否认?
【解决方案2】:

集合论项是 B 相对于 A 的“相对补”。

【讨论】:

    【解决方案3】:

    我喜欢说得更清楚一点。您也可以在代码中找到它 使用赋值形成:

    A = A & ~B

    或者更紧凑的:

    A &= ~B

    示例:之前:A = 0x0007,B=0x0004 之后:A = 0x0003

    它的作用是从 A 中清除位 B。但是相对 补充,因此名称不同,你可以写 它如下A\B,喜欢设置区别,也是个好名字。

    【讨论】:

      猜你喜欢
      • 2011-03-28
      • 2011-05-13
      • 1970-01-01
      • 1970-01-01
      • 2013-06-13
      • 1970-01-01
      • 2020-12-20
      • 2011-06-13
      相关资源
      最近更新 更多