一个公式如果含 $n$ 个命题变项，那么所有可能的赋值结果（真值表）有 $2^n$ 种。
如果两个公式的真值表相同，或者说 $A \leftrightarrow B$ 恒真，那么称两个公式等值。用符号 $A \Leftrightarrow B$ 表示。
eg. $\neg p \wedge q$ 和 $p \rightarrow q$ 等值。
$\neg \neg A \Leftrightarrow A$ （双重否定律）
$A \wedge A \Leftrightarrow A, \ \ \ \ \ A \vee A \Leftrightarrow A$ （等幂律）
$A \wedge (A \vee B) \Leftrightarrow A, \ \ \ \ A \vee (A \wedge B) \Leftrightarrow A$（吸收律）
$A \wedge 1 \Leftrightarrow A, \ \ \ \ \ A \vee 0 \Leftrightarrow A$ （同一律）
$A \wedge 0 \Leftrightarrow 0, \ \ \ \ \ A \vee 1 \Leftrightarrow 1$ （零律）
$A \wedge \neg A \Leftrightarrow 0, \ \ \ \ \ A \vee \neg A \Leftrightarrow 1$ （矛盾律、排中律）
略 交换律、结合律
$A \wedge (B \vee C) = (A \wedge B ) \vee (A \wedge C)$ （分配律）
$A \vee (B \wedge C) = (A \vee B ) \wedge (A \vee C)$ （分配律）
<aside> ⚠️ 分配律拓展：
$(A \vee B) \wedge (C \vee D) \\ = (A \wedge C ) \vee (A \wedge D) \vee (B \wedge C) \vee (B \wedge D)$
$(A \wedge B) \vee (C \wedge D) \\ = (A \vee C ) \wedge (A \vee D) \wedge (B \vee C) \wedge (B \vee D)$
</aside>
$\neg (p \vee q) \Leftrightarrow \neg p \wedge \neg q$ （德·摩根律）