现在这两个逻辑表达式并不相同。句子 (f) 看起来似乎没有问题；然而，需要添加一些额外的标点或重新措辞，才能使其变得无歧义。一种版本可以写成：

(f) 仅当要么 $I = 0$ 要么设置了标志位（或两者都成立）时，子程序 S 才算完成。

这是 $R \rightarrow (Q \vee P)$ 。

另一种版本可以写成：

(f) 仅当 $I = 0$ 或设置了标志位（或两者都成立）时，子程序 S 才算完成。

这是 $(R \rightarrow Q) \vee P$ 。

第 (f) 部分突出了这样一个事实：在这一工程数学分支中，思考容不得半点马虎。

6.4.3 命题代数

正如我们曾用 $\cup$ , $\cap$ 和 $(\overline{)}$ 来生成集合的复杂表达式一样，我们可以用 $\vee$ , $\wedge$ 和 $\sim$ 通过构造真值表来形成复杂的复合命题。

例 6.16 构造真值表，确定复合命题的真值

$$p \vee (p \wedge q)$$

解答 真值表如图 6.38 所示。注意，这验证了问题 10（习题 6.2.5）中集合代数的类似吸收律。

如果两个命题具有相同的真值，则称它们是等价的（或更准确地说是逻辑等价的）。同样，要证明两个命题等价，我们只需构造每个命题的真值表并比较真值即可。例如，从例 6.16 可以看出，这两个命题

$$p \vee (p \wedge q)$$ 和 $p$

图 6.38
真值表
$p \vee (p \wedge q)$ .