74 lines
3.0 KiB
Markdown
74 lines
3.0 KiB
Markdown
|
---
|
|||
|
title: Truth Tables
|
|||
|
localeTitle: 真相表
|
|||
|
---
|
|||
|
## 真相表
|
|||
|
|
|||
|
真值表是布尔代数中使用的数学工具。它由一个用于函数变量的列组成。最后一列保存为变量的相应值评估的功能值。对于n个变量的布尔函数,其真值表扩展将具有2 ^ n行。这是因为每个变量都有两种可能的状态 - 真和假。
|
|||
|
|
|||
|
### 和
|
|||
|
|
|||
|
让我们探索AND运算符的真值表:
|
|||
|
|
|||
|
| x | y | x和y | | --- | --- | --- | | F | F | F | | F | T | F | | T | F | F | | T | T | T |
|
|||
|
|
|||
|
AND是二元运算符。它对两个变量进行操作,比如`x` , `y` 。
|
|||
|
|
|||
|
因此,我们的真值表中有2 ^ 2 = 4列!
|
|||
|
|
|||
|
最后一列是功能值 - x AND y.AND操作的逻辑是,如果x和y的值都是True,则输出的值为True,否则为False。
|
|||
|
|
|||
|
类似的其他逻辑运算符的真值表 -
|
|||
|
|
|||
|
### 不
|
|||
|
|
|||
|
| x |不是X | | --- | --- | | F | T | | T | F |
|
|||
|
|
|||
|
### 要么
|
|||
|
|
|||
|
| x | y | x OR y | | --- | --- | --- | | F | F | F | | F | T | T | | T | F | T | | T | T | T |
|
|||
|
|
|||
|
### XOR
|
|||
|
|
|||
|
| x | y | x XOR y | | --- | --- | --- | | F | F | F | | F | T | T | | T | F | T | | T | T | F |
|
|||
|
|
|||
|
OR运算符:
|
|||
|
|
|||
|
| x | y | x OR y | | --- | --- | --- | | F | F | F | | F | T | T | | T | F | T | | T | T | T |
|
|||
|
|
|||
|
NOT运算符:
|
|||
|
|
|||
|
| x |不是x | | --- | --- | | F | T | | T | F |
|
|||
|
|
|||
|
蕴涵运营商:
|
|||
|
|
|||
|
| x | y | x IMPLY y | | --- | --- | --- | | F | F | T | | F | T | T | | T | F | F | | T | T | T |
|
|||
|
|
|||
|
暗示操作符通常会让某些人感到困惑。将现实世界的示例联系起来以帮助理解该运算符是有用的。例如,考虑: 如果下雨,我会用雨伞。 在这里,假设正在下雨,那么我使用一把伞(声明保持) 但是,如果下雨,我不使用雨伞,那么声明就没有成功。 尽管如此,如果没有下雨,我仍然使用雨伞,那么声明也有说明(如果伞是否被使用并不重要,因为它不会下雨。虽然它看起来很奇怪)。
|
|||
|
|
|||
|
然而,蕴涵算子可能会对涉及在现实世界中是错误的命题感到困惑。考虑: 如果太阳是由水制成的,那么1 + 1 = 3。 根据蕴涵真值表,这个命题公式是正确的。
|
|||
|
|
|||
|
P暗示Q也可以被认为是NOT(P)OR Q的缩写。
|
|||
|
|
|||
|
双重蕴涵算子:
|
|||
|
|
|||
|
| x | y | x < - > y | | --- | --- | --- | | F | F | T | | F | T | F | | T | F | F | | T | T | T |
|
|||
|
|
|||
|
真值表是一个强大的工具。它们可用于表达和评估简单的布尔函数和运算,复杂的组合电路和时序逻辑电路!
|
|||
|
|
|||
|
这是OR运算符的真值表
|
|||
|
|
|||
|
| x | y | x OR y | | --- | --- | --- | | F | F | F | | F | T | T | | T | F | T | | T | T | F |
|
|||
|
|
|||
|
就像上面的OR运算符对两个变量进行操作一样,请注意,OR运算符求值为True的唯一时间是`x` & `y`相互抵消。
|
|||
|
|
|||
|
让我们再做一次,让我们为Negation做表,这是在一个值而不是两个值上运行
|
|||
|
|
|||
|
| x |不是x | | --- | --- | | T | F | | F | T |
|
|||
|
|
|||
|
这个规则更简单,它只是否定了`x`的原始值
|
|||
|
|
|||
|
#### 更多信息:
|
|||
|
|
|||
|
* [超物理学 - 佐治亚州立大学](http://hyperphysics.phy-astr.gsu.edu/hbase/Electronic/truth.html)
|
|||
|
* [维基百科](https://en.wikipedia.org/wiki/Truth_table)
|