布尔代数交换律（a∨b=b∨a，a∧b=b∧a）的证明方法问询

嘿，这是布尔代数里的基础核心问题！咱们就基于你给出的公理（结合律、分配律），再结合布尔代数的标准核心性质一步步推导，逻辑严谨又好懂。

先明确可用的公理/性质 #

根据你的描述+布尔代数的标准定义，我们有：

• 结合律：
  • $(a \wedge b) \wedge c = a \wedge (b \wedge c)$
  • $(a \vee b) \vee c = a \vee (b \vee c)$
• 分配律：
  • $a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c)$（$\wedge$对$\vee$的左分配）
  • $a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c)$（$\vee$对$\wedge$的左分配，你提到的第二条应该是输入笔误，这是标准形式）
• 单位元性质：$a \wedge 1 = a$，$a \vee 0 = a$
• 补元性质：$a \wedge a' = 0$，$a \vee a' = 1$

1. 证明 $a \vee b = b \vee a$ #

我们通过补元性质+分配律构造相等表达式：
$$
\begin{align*}
a \vee b &= (a \vee b) \wedge 1 \quad \text{// 利用$\wedge$的单位元：任何元素和1做$\wedge$运算等于自身} \
&= (a \vee b) \wedge (b \vee b') \quad \text{// 补元性质：$b$和它的补元$b'$做$\vee$运算等于1} \
&= [(a \vee b) \wedge b] \vee [(a \vee b) \wedge b'] \quad \text{// 应用$\wedge$对$\vee$的分配律} \
&= b \vee [(a \wedge b') \vee (b \wedge b')] \quad \text{// 左边项用吸收律：$(a \vee b) \wedge b = b$；右边项展开分配律} \
&= b \vee [(a \wedge b') \vee 0] \quad \text{// 补元性质：$b \wedge b' = 0$} \
&= b \vee (a \wedge b') \quad \text{// 利用$\vee$的单位元：任何元素和0做$\vee$运算等于自身} \
&= (b \vee a) \wedge (b \vee b') \quad \text{// 应用$\vee$对$\wedge$的分配律} \
&= (b \vee a) \wedge 1 \quad \text{// 补元性质：$b \vee b' = 1$} \
&= b \vee a \quad \text{// 再次利用$\wedge$的单位元性质}
\end{align*}
$$
这样就一步步推导出了析取的交换律 $a \vee b = b \vee a$。

2. 证明 $a \wedge b = b \wedge a$ #

你可以直接用对偶原理（布尔代数中，若一个等式成立，将所有$\wedge$和$\vee$互换、0和1互换后得到的对偶等式也成立）快速得到结论，不过咱们手动推导一遍更严谨：
$$
\begin{align*}
a \wedge b &= (a \wedge b) \vee 0 \quad \text{// 利用$\vee$的单位元：任何元素和0做$\vee$运算等于自身} \
&= (a \wedge b) \vee (b \wedge b') \quad \text{// 补元性质：$b \wedge b' = 0$} \
&= [(a \wedge b) \vee b] \wedge [(a \wedge b) \vee b'] \quad \text{// 应用$\vee$对$\wedge$的分配律} \
&= b \wedge [(a \vee b') \wedge (b \vee b')] \quad \text{// 左边项用吸收律：$(a \wedge b) \vee b = b$；右边项展开分配律} \
&= b \wedge [(a \vee b') \wedge 1] \quad \text{// 补元性质：$b \vee b' = 1$} \
&= b \wedge (a \vee b') \quad \text{// 利用$\wedge$的单位元性质} \
&= (b \wedge a) \vee (b \wedge b') \quad \text{// 应用$\wedge$对$\vee$的分配律} \
&= (b \wedge a) \vee 0 \quad \text{// 补元性质：$b \wedge b' = 0$} \
&= b \wedge a \quad \text{// 利用$\vee$的单位元性质}
\end{align*}
$$
完美，合取交换律的证明也完成了。

如果你的第二条分配律确实是题目里写的$(b \vee c) \wedge a = (b \vee a) \wedge (c \vee a)$，只需要稍微调整推导步骤，核心思路还是利用分配律构造对称表达式，最终同样能得到交换律的结论。

内容的提问来源于stack exchange，提问作者adk