逻辑运算真、假断

逻辑运算真、假断

————————————————————————————————作者：————————————————————————————————日期：

逻辑运算是对真或假的运算，我将列表说明：

A B Not A

非And

与

Or

或

Xor

异或

Eqv

相等

Imp

蕴含

T T F T T F T T

T F F F T T F F

F T T F T T F T

F F T F F F T T

T――True F――False

True（真）False（假）Null（无效）result（导致）两个表达式A B

And 运算两个表达式的值都为True，则result 是True。

Eqv 运算有一个表达式是Null，则result 也是Null。如果表达式都不是Null，则两个表达式都为真或两个表达式都为假时，result才为真。其余都为假。

Imp 运算

Not 运算

Or 运算两个表达式中至少有一个为True，则result 为True。

Xor 运算符两个表达式中有且只有一个值为True，则result 为True。

逻辑运算符包括6个。

And 运算符

Eqv 运算符

Imp 运算符

Not 运算符

Or 运算符

Xor 运算符

＝＝＝＝＝＝＝＝＝＝＝True（真）False（假）Null（无效）result（导致）

〔And〕

如果两个表达式的值都是True，则result 是True。如果其中一个表达式的值是False，则result 是False。下列表格说明如何确定result：

如果expression1 为且expression2 为则result 为

True True True

True False False

True Null Null

False True False

False False False

False Null False

Null True Null

Null False False

Null Null Null

And 运算符还对两个数值表达式中位置相同的位进行逐位比较，并根据下表对result 中相应的位进行设置：如果在expression1 的位为且在expression2 中的位为result 为

0 0 0

0 1 0

1 0 0

1 1 1

＝＝＝＝＝＝＝＝＝＝＝＝

〔Eqv〕

如果有一个表达式是Null，则result 也是Null。如果表达式都不是Null，则根据下表来确定result：如果expression1 为且expression2 为则result 为

True True True

True False False

False True False

False False True

Eqv 运算符对两个数值表达式中位置相同的位进行逐位比较，并根据下表对result 中相应的位进行设置：

如果在expression1 的位为且在expression2 中的位为result 为

0 0 1

0 1 0

1 0 0

1 1 1

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

〔Imp〕

如果expression1 为且expression2 为则result 为

True True True

True False False

True Null Null

False True True

False False True

False Null True

Null True True

Null False Null

Null Null Null

Imp 运算符对两个数值表达式中位置相同的位进行逐位比较，并根据下表对result 中相应的位进行设置：

如果在expression1 的位为且在expression2 中的位为result 为

0 0 1

0 1 1

1 0 0

1 1 1

＝＝＝＝＝＝＝＝＝＝

〔Not〕

如果expression 为则result 为

True False

False True

Null Null

此外，Not 运算符改变任何变量的位值，并根据下表设置result 中相应的位：

如果在expression 的位为则在result 中的位为

0 1

1 0

＝＝＝＝＝＝＝＝＝

〔Or〕

如果两个表达式中至少有一个为True，则result 为True。下列表格说明如何确定result：

如果expression1 为且expression2 为则result 为

True True True

True False True

True Null True

False True True

False False False

False Null Null

Null True True

Null False Null

Null Null Null