情報数学 I

第四回の宿題の解答

Martin J. Dürst

duerst@it.aoyama.ac.jp

O 棟 529号室

テュールスト マーティン ヤコブ

http://www.sw.it.aoyama.ac.jp/2005/Math%20I/lecture4.html

AGU

© 2005 Martin J. Dürst 青山学院大学

第四回の宿題: 第一問

半加算器を NAND だけ (もしくは NOR だけ) で作って書いて下さい。

入力 出力 計算
A B S (sum) C (carry) NAND (A) NAND (B) NAND (A, B) NAND (NAND (A,B)) = C NAND (NAND(A), NAND(B)) NAND (NAND (A, B), NAND (NAND(A), NAND(B))) NAND (NAND (NAND (A, B), NAND (NAND(A), NAND(B)))) = S
0 0 0 0 1 1 1 0 0 1 0
0 1 1 0 1 0 1 0 1 0 1
1 0 1 0 0 1 1 0 1 0 1
1 1 0 1 0 0 0 1 1 1 0
入力 出力 計算
A B S (sum) C (carry) NOR (A) NOR (B) NOR (A, B) NOR (NOR(A), NOR(B)) = C NOR (NOR (A, B), NOR (NOR(A), NOR(B))) = S
0 0 0 0 1 1 1 0 0
0 1 1 0 1 0 0 0 1
1 0 1 0 0 1 0 0 1
1 1 0 1 0 0 0 1 0

第四回の宿題: 第二問

三つの真理値 (真: T、偽: F、未定 (分からない): ?) を使う多値論理の基本的な真理表 (かつ、又は、ではない) を作って下さい。

A ¬A
T F
? ?
F T
T ? F
T T ? F
? ? ? F
F F F F
T ? F
T T T T
? T ? ?
F T ? F