Digital design之Boolean Algebra
2015-07-27 22:31
417 查看
1. 0 and 1 (duality: 0 -- 1, · -- +)
X + 0 = X, X · 1 = X
X + 1 = 1, X · 0 = 0
2. Idempotent
X + X = X, X · X = X
3. Involution
(X')' = X
4. Complementarity
X + X' = 1, X · X' = 0
5. Commutative
X + Y = Y + X, X · Y = Y · X
6. Associative
(X + Y) + Z = X + (Y + Z) = X + Y + Z
(X · Y) · Z = X · (Y · Z) = X · Y · Z
7. Distributive
X · (Y + Z) = X · Y + X · Z
X + (Y · Z) = (X + Y) · (X +Z)
8. Simplification
X · Y + X · Y' = X, (X + Y) · (X + Y') = X
X + X · Y = X, X · (X + Y) = X
9. Multiplying and factoring
(X + Y) · (X' + Z) = X · Z + X' · Y
X · Y + X' · Z = (X + Z) · (X' + Y)
10. Consensus
X · Y + Y · Z + X · Z = X · Y + X' · Z
(X + Y) · (Y + Z) · (X' + Z) = (X + Y) · (X' + Z)
11. DeMorgan's law
(X + Y + Z + ...)' = X' · Y' · Z' · ...
(X · Y · Z · ...)' = X' + Y' + Z' + ...
{f(X1, X2, ..., Xn, 0, 1, +, ·)}' = {f(X1', X2', ..., Xn', 1, 0, ·, +)}
12. Duality
(X + Y + Z + ...)D = X · Y · Z · ...
(X · Y · Z)D = X + Y + Z + ...
{f(X1, X2, ..., Xn, 0, 1, +, ·)}D = f(X1', X2', ..., Xn', 1, 0, ·, +)
X + 0 = X, X · 1 = X
X + 1 = 1, X · 0 = 0
2. Idempotent
X + X = X, X · X = X
3. Involution
(X')' = X
4. Complementarity
X + X' = 1, X · X' = 0
5. Commutative
X + Y = Y + X, X · Y = Y · X
6. Associative
(X + Y) + Z = X + (Y + Z) = X + Y + Z
(X · Y) · Z = X · (Y · Z) = X · Y · Z
7. Distributive
X · (Y + Z) = X · Y + X · Z
X + (Y · Z) = (X + Y) · (X +Z)
8. Simplification
X · Y + X · Y' = X, (X + Y) · (X + Y') = X
X + X · Y = X, X · (X + Y) = X
9. Multiplying and factoring
(X + Y) · (X' + Z) = X · Z + X' · Y
X · Y + X' · Z = (X + Z) · (X' + Y)
10. Consensus
X · Y + Y · Z + X · Z = X · Y + X' · Z
(X + Y) · (Y + Z) · (X' + Z) = (X + Y) · (X' + Z)
11. DeMorgan's law
(X + Y + Z + ...)' = X' · Y' · Z' · ...
(X · Y · Z · ...)' = X' + Y' + Z' + ...
{f(X1, X2, ..., Xn, 0, 1, +, ·)}' = {f(X1', X2', ..., Xn', 1, 0, ·, +)}
12. Duality
(X + Y + Z + ...)D = X · Y · Z · ...
(X · Y · Z)D = X + Y + Z + ...
{f(X1, X2, ..., Xn, 0, 1, +, ·)}D = f(X1', X2', ..., Xn', 1, 0, ·, +)
相关文章推荐
- hdu 4005 双联通 2011大连赛区网络赛E *****
- 面试题的一些总结
- 设计模式在游戏中的应用--工厂方法(五)
- scala界面GUI编程实战初步了解
- web优化 js性能高级篇
- 小白学开发(iOS)OC_ 点语法(2015-07-27)
- Quartz2D-03.利用Quartz2D画复杂事物
- O ______Block
- poj3613Cow Relays (经过n条边的最短路)
- Hibernate 缓存机制
- 046.@try 处理异常
- 047.@try…@catch... 捕捉异常
- zoj1071 Follow My Logic(没看题,不过据说很恶心,待ac)
- Java IO学习【13】利用字节流复制文件的4种方法详解
- pre标签
- 引用类型
- Skype for Business Server 2015系列(三)部署前端服务器-2
- 微机原理 之“极品飞车”课程设计
- ZOJ 3209 Treasure Map
- 数据库前缀索引