truth table

　　真值表是将一个逻辑函数拆分开来，然后列出它所有可能的取值。真值表通常包括若干行和若干列，最上面一行列出所有的逻辑变量以及它们的组合，这些组合越来越复杂，直到得出最后的函数。

　　在一个逻辑函数中，有三个基本操作，逻辑否（由- 表示），逻辑或（由+表示），还有逻辑与（由*表示）。一般我们用0表示假，1表示真，所以有以下规则：

　　如果A = 0，那么 -A = 1

　　如果A = 1，那么 -A = 0

　　A+B = 1，除非 A = 0而且B = 0

　　如果A = 0而且B = 0，那么A+B = 0　

　　A*B = 0，除非A = 1而且B = 1

　　如果A = 1而且B = 1，那么A*B = 1

　　除了真值表我们还可以使用布尔法则，这种方法称为布尔代数。工程师用它来找出实现预期逻辑函数的最简单的方式。这个优化系统在减少实现给定任务的操作数量上是非常有效的。