02324 离散数学

等价演算

• 双重否定 $p = \neg(\neg p)$
• 交换 $p \lor q = q \lor p$
• 结合 $(p \land q) \land r = p \land (q \land r)$
• 德摩根 $\neg(p \land q) = \neg p \lor \neg q$ 或 $\neg(p \lor q) = \neg p \land \neg q$
• 分配 $p \lor (q \land r) = (p \lor q) \land (p \lor r)$ 或 $p \land (q \lor r) = (p \land q) \lor (p \land r)$
• 吸收 $p \lor (p \land q) = p$ 或 $p \land (p \lor q) = p$
• 条件等价 $p \rightarrow q = \neg p \lor q$
• 双条件等价 $p \leftrightarrow q = (p \rightarrow q) \land (q \rightarrow p)$
• 假言 $p \rightarrow q = \neg q \rightarrow ¬p$