====== 真值表 ======
表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。
真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。 (表达式可以是论证；就是说，表达式的合取，它的每个结合项(conjunct)都是最后要做的结论的一个前提。)
===== 与 =====
^ A  ^ B  | 结果  |
| 0  | 0  | 0   |
| 1  | 0  | 0   |
| 0  | 1  | 0   |
| 1  | 1  | 1   |
===== 或 =====
^ A  ^ B  | 结果  |
| 0  | 0  | 0   |
| 1  | 0  | 1   |
| 0  | 1  | 1   |
| 1  | 1  | 1   |
===== 非 =====
^ A  | 结果 |
| 0  | 1  | 
| 1  | 0  |