高中數學擴充套件/邏輯/解答

高中數學擴充套件

補充章節 — 素數和模算術 — 邏輯

邏輯

目前，主要精力集中在編寫每個章節的主要內容。因此，本練習解答部分可能已過時，並顯得雜亂無章。

如果您有任何問題，請在“討論部分”留言，或聯絡作者或任何主要貢獻者。

1. 與非門：x 與非門 y = 非 (x 與門 y)

2. 或非門：x 或門 y = 非 (x 或門 y)

3. 異或門：x 異或門 y 為真當且僅當 x 或 y 為真。

為以下式子製作真值表：1. xyz

2. x'y'z'

3. xyz + xy'z

4. xz

5. (x + y)'

6. x'y'

7. (xy)'

8. x' + y'

1.

1. z = ab'c' + ab'c + abc

{\begin{matrix}x&=&ab'c'+ab'c+abc\\&=&ab'c'+c(ab'+ab)\\&=&ab'c'+ca\end{matrix}}

2. z = ab(c + d)

{\begin{matrix}x&=&ab(c+d)\\&=&abc+abd\\\end{matrix}}

3. z = (a + b)(c + d + f)

{\begin{matrix}x&=&(a+b)(c+d+f)\\&=&ac+ad+af+bc+bd+bf\\\end{matrix}}

4. z = a'c(a'bd)' + a'bc'd' + ab'c

{\begin{matrix}x&=&a'c(a'bd)'+a'bc'd'+ab'c\\&=&a'c(a+(bd)')+a'bc'd'+ab'c\\&=&a'ca+a'c(bd)'+a'bc'd'+ab'c\\&=&a'c(b'+d')+a'bc'd'+ab'c\\&=&a'cb'+a'cd'+a'bc'd'+ab'c\\\end{matrix}}

5. z = (a' + b)(a + b + d)d'

{\begin{matrix}x&=&(a'+b)(a+b+d)d'\\&=&(a'+b)(a+b+d)d'\\&=&(a'a+a'b+a'd+ba+bb+bd)d'\\&=&(a'b+a'd+ba+b+bd)d'\\&=&(b(a'+a)+a'd+b+bd)d'\\&=&(a'd+b+bd)d'\\&=&a'dd'+bd'+bdd'\\&=&bd'\\\end{matrix}}

2. 證明 x + yz 等價於 (x + y)(x + z)

{\begin{matrix}x&=&(x+y)(x+z)\\&=&xx+yx+xz+yz\\&=&x(x+y+z)+yz\\&=&x+yz\\\end{matrix}}

判斷以下命題是真還是假
1. 如果 1 + 2 = 3，那麼 2 + 2 = 5 是假的，因為真命題不能蘊含假命題。
2. 如果 1 + 1 = 3，那麼魚不會游泳是真的，因為 1+1 不等於 3。
證明以下命題對等價
1. $x\Rightarrow y$ : $y'\Rightarrow x'$

我們用真值表來證明這一點。

表中兩命題的列相同，因此它們是等價的。

請訪問邏輯謎題頁面。