逻辑异或(XOR或EOR或⊕) / 逻辑与非(谢费尔竖线，Not AND，常缩写为NAND) / 逻辑或非(NOR) (网络搜集整理)

• 逻辑与是两个逻辑变量的一种运算，经常是两个命题的运算。它满足：当且仅当其两个变量的真值都为真时，其结果为真
  • 也写作AB（逻辑学），A && B（计算机科学），或AB（电子学）
• 逻辑或是两个逻辑变量的一种运算，经常是两个命题的运算。它满足：当且仅当其两个变量的真值都为假时，其结果为假
  • 也写作AB（逻辑学），A || B（计算机科学），或A + B（电子学）
• 逻辑非的效果是将布尔值取反，有以下几种记法：
  • 
    
• 逻辑异或(XOR或EOR或⊕)
  
  • A异或B通常可写为：

    • A XOR B
      A EOR B
      A ⊕ B

  • 在C语言中记作：

    • A^B

  • 真值表：
    • 
      
    • 显然：异则真，同则假
• 逻辑与非，又称为“谢菲尔竖线”，记为Not AND，常缩写为 NAND
  
  • Sheffer竖线“|”等价于逻辑与的否定，即：
    • 
      
    • 有疑问的话可以参照上面对 “逻辑与” 的定义
  • 真值表：
    • 
      
    • 显然：不全是真则真，全真则假
• 逻辑或非（NOR）
  • 在布尔逻辑运算中，逻辑或非（NOR）的结果是逻辑或的反面
  • 真值表：
    • 
      
    • 显然：同假则真，遇真则假