22 lines
1.0 KiB
Markdown
22 lines
1.0 KiB
Markdown
---
|
||
title: Algebra of Logic
|
||
localeTitle: 逻辑代数
|
||
---
|
||
## 逻辑代数
|
||
|
||
_逻辑_或_布尔代数的代数_是数学的一个分支。它处理变量及其真值。变量有两种可能的状态 - `true`或`false` 。
|
||
|
||
它首先由George Boole在他的着作“逻辑的数学分析”（The Mathematical Analysis of Logic，1847）中介绍。
|
||
|
||
布尔代数是数字电子学发展的基础。它负责使所有现代计算成为可能。
|
||
|
||
布尔代数中的三个基本操作是`AND` ， `OR`和`NOT` 。考虑两个布尔变量`x`和`y` ：
|
||
|
||
* `x AND y` ，当且仅当两个是真正的`x`和`y`属实
|
||
* 当且仅当`x` ， `y`中的任何一个为真时， `x OR y`才为真。如果`x` ， `y`都为真，则`x OR y`仍然为真
|
||
* 当且仅当`x`为假时， `NOT x`为真，反之亦然
|
||
|
||
### 更多信息：
|
||
|
||
* 逻辑微积分： [乔治布尔](http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html)
|
||
* 布尔代数文章： [维基百科](https://en.wikipedia.org/wiki/Boolean_algebra) |