基本的逻辑运算并不难理解,但是我认为,记忆是一种更高效的使用方式,烂熟于心。
逻辑运算
- 与 A ⋅ 1 = A A \cdot 1=A A⋅1=A A ⋅ 0 = 0 A\cdot0=0 A⋅0=0
- 或 A + 0 = A A + 0=A A+0=A A + 1 = 1 A+1=1 A+1=1
- 非
- 与非(先与后非) A ⋅ 1 ‾ = A ˉ \overline{A \cdot 1}=\bar{A} A⋅1=Aˉ A ⋅ 0 ‾ = 1 \overline{A \cdot 0}=1 A⋅0=1
- 或非(现或后非) A + 0 ‾ = A ˉ \overline{A + 0}=\bar{A} A+0=Aˉ A + 1 ‾ = 0 \overline{A + 1}=0 A+1=0
- 异或 A ⊕ 1 = A ˉ A \oplus 1=\bar{A} A⊕1=Aˉ A ⊕ 0 = A A \oplus 0 =A A⊕0=A
- 同或 A ⊕ 0 = A ˉ A \oplus 0=\bar{A} A⊕0=Aˉ A ⊕ 1 = A A \oplus 1 =A A⊕1=A
异或最本质是:
A
⊕
B
=
A
ˉ
B
+
B
A
ˉ
A \oplus B= \bar AB+B\bar A
A⊕B=AˉB+BAˉ
同或最本质是:
A
⊙
B
=
A
ˉ
B
ˉ
+
B
A
A \odot B = \bar{A}\bar{B}+BA
A⊙B=AˉBˉ+BA
一下为变形的式子,大家可以通过最基本的式子变形验证
异或: A ˉ ⊕ B ˉ \bar{A} \oplus \bar{B} Aˉ⊕Bˉ A ˉ ⊙ B \bar{A} \odot B Aˉ⊙B A ⊙ B ˉ \quad A \odot \bar{B} A⊙Bˉ
同或: A ˉ ⊕ B \bar{A} \oplus B Aˉ⊕B A ⊕ B ˉ \quad A \oplus \bar{B} A⊕Bˉ A ˉ ⊙ B ˉ \bar{A} \odot \bar{B} Aˉ⊙Bˉ
布尔代数
布尔代数部分与离散数学重复
一些布尔代数定理与离散数学基本相同,故略过。