查看“︁逻辑非”︁的源代码

[[分类:二值变量运算]]
{{InfoBox
|name=逻辑非
|eng_name=bitwise NOT
|aliases=按位非,位非,位反,按位取补,bitwise complement
}}
'''逻辑非'''('''logical NOT''')指[[二值变量]]的一种一元[[运算]]，相当于[[命题]]的[[否定]]联结词。与[[模 n 剩余类环|模 2 剩余类环]]上的一元运算 <math>1-x</math> 同构。

== 定义 ==

{{Operation
|name=逻辑非
|operand=二值变量
|result=二值变量
|prototype=布尔代数
|domain=<math>\mathbb{B}</math>
|codomain=<math>\mathbb{B}</math>
}}
对二值变量 <math>x \in \mathbb{B} = \{0,1\}</math> ，将二元运算 <math>1\mapsto 0; 0\mapsto 1</math> 称为'''逻辑非'''('''logical NOT''')运算，记作 <math>\bar{x}</math> 。也有人记作 <math>-x</math> 、 <math>1-x</math> 、 <math>1\oplus x</math> 、 <math>~x</math> 或 <math>\lnot x</math> 。

== 性质 ==

运算性质：
* 双重否定律
* 与[[逻辑与]]、[[逻辑或]]满足德·摩根律

== 变体 ==

=== 三值逻辑非 ===

对[[三值逻辑变量]]，也存在对应逻辑非的同名运算。

{| class='wikitable'
|-
! rowspan=2 | <math>\bar{}</math>
! T
! U
! F
|-
| style='background-color: rgba(255,0,0,0.1)' | F
| U
| style='background-color: rgba(0,255,0,0.1)' | T
|}


{{逻辑运算}}