No.5ベストアンサー
- 回答日時:
#1,#3です。
A#3の補足質問について
2つの式が等しい事を示す方法は次の2通りあります。
1)論理式をブール代数のド・モルガンの公式(定理)を使って簡単化して、ともに
(A∧(¬B))∨((¬A)∧B)
となることを示す方法
この場合、演算順序は優先の高い順に行います。
論理演算子の優先度
[1] 括弧、内部の括弧の方が優先度が高い
[2] not(¬)
[3] and (∧)
[4] or (∨)
2)真理値表が同一(XORの真理値表)になることを示す方法
すなわち、(A,B)=(0,0),(0,1),(1,0),(1,1)の4つの組合せに対して
2式が等しくなる事を示せばいい。なお、0=L,1=Hのことです。
1)の方法では
> ¬((¬(A∧(¬(B∧B))))∧(¬(B∧(¬(A∧A)))))
=¬((¬(A∧(¬B)))∧(¬(B∧(¬A))))
=(¬(¬(A∧(¬B))))∨(¬(¬(B∧(¬A))))
=(A∧(¬B))∨(B∧(¬A))
> ¬((¬(A∧( ¬(A∧B) )))∧(¬(B∧(¬(A∧B)))))
=¬((¬(A∧( (¬A)∨(¬B) )))∧(¬(B∧( (¬A)∨(¬B) ))))
=¬((¬(A∧(¬B)))∧(¬(B∧(¬A))))
=(¬(¬(A∧(¬B))))∨(¬(¬(B∧(¬A))))
=(A∧(¬B))∨(B∧(¬A))
これで同じXORの論理式になったね。
2)の方法は自分でやってみてください。
No.4
- 回答日時:
A xor B = { A nand (A nand B) } nand { B nand (A nand B) }
と書くと、nand が5個に見えてしまいますね。
A xor B = (A nand C) nand (B nand C), C = A nand B
の意味なんだろうけれど、一本の式では書きにくい。
回路図で書いたほうが見やすいんでしょうが。
ところで、入力の A と B を
(A nand C) nand (B nand C) と A nand B のそれぞれへ
分線して結線するために、アンプを使わなくてよいのでしょうか?
アンプを nand で構成すると、nand は計6個になりますが…
No.3
- 回答日時:
#1です。
A#1で回答した次の論理式が4NAND構成のXORの論理式表現です。
¬((¬(A∧(¬(A∧B))))∧(¬(B∧(¬(A∧B)))))
正しいですよ。
なお、閉じ括弧「)」が2箇所抜けて数が合いませんでしたので補ってあります。
式どおりに論理回路図を描いて見てください。
なお、式中「¬(A∧B)」が2箇所に現れますが同一回路であることに注意ください。
> ¬((¬(A∧(¬(B∧B))))∧(¬(B∧(¬(A∧A)))))
> ではないのでしょうか??
これは間違い。閉じ括弧「)」を2箇所追加し正しい論理式に直しました。
これは5NAND構成のXOR回路になりますので質問の趣旨に合わないでしょう。
4NAND構成のXOR回路はデジタル回路(論理回路)のテキストや参考書に良く載っていますよ。参考URLの中の4NAND回路がNAND構成のXOR回路です。
参考URL:http://en.wikipedia.org/wiki/XOR_gate
この回答への補足
何度も失礼します。
¬((¬(A∧(¬(B∧B))))∧(¬(B∧(¬(A∧A)))))と
¬((¬(A∧(¬(A∧B))))∧(¬(B∧(¬(A∧B)))))
が等しいことはブール代数表現を使ってどう示せばよいのでしょうか??
ホントあつかましくてすみません。
No.2
- 回答日時:
有名 (?) なネタですね. 答えは #1 の通り. これを回路にすると NAND は 4個です.
ところで, ¬((¬(A∧(¬(B∧B)))∧(¬(B∧(¬(A∧A)))) は NAND を 5個使ってるような気がするんですが, 今は「4個にする」のが目的じゃないんでしょうか?
まあ, 単純に「(NAND の数は無視して) XOR を作りたい」というだけならこれでできてますけど....
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 ( A xor B ) xor B = A となることを論理演算表で完成させてください。 4 2022/10/27 02:12
- 工学 【至急】非同期式10進カウンタの4入力NANDのA,C入力配線を外しても同じく10進で動作するか 2 2022/09/30 03:05
- 計算機科学 進数の計算について質問です。 16進数のxorだったら0x7fffと0x8000の計算はどうなります 2 2022/05/17 10:11
- 中学校 中2(化学変化と物質の質量)の問題です 1 2022/07/04 11:19
- ドライブ・ストレージ inspiron 7590 を持ってるのですが分解した事なくよくわからないのですが同じSSD使用でき 3 2023/01/19 07:27
- 教えて!goo ブロック機能に伴いまして 1 2022/06/23 00:26
- オープンソース p-nand-q.comのSorted!のソフトウェアライセンスはどう解釈すべきか Soeted!と 1 2023/05/10 15:59
- 数学 環論の素元について 6 2022/05/09 04:04
- アプリ 著作権に関する質問です 3 2023/02/11 10:31
- BTOパソコン 自作pcについて。以下のもので作れるか、分かる方ご教授ください。子供が作るって言うのですが、本当にで 7 2022/08/10 09:54
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
ゲーデルの不完全性定理
-
正負逆転のことをなんといいま...
-
数学に関してです 数学は「式」...
-
正直者とうそつきを見分ける質...
-
実験における誤差範囲の許容範...
-
平均値、標準偏差の有効数字に...
-
携帯でよく使われる単位「hz」...
-
電波の影響でストーブの電源が...
-
高圧線下や電線近くで測った電...
-
太平洋戦争中の外国や戦地との...
-
相対誤差が小さいと判断する基...
-
個人に嫌がらせする電磁波攻撃...
-
変調電流
-
ドリフト係数(ブラウン運動・ブ...
-
機器分析の問題(吸光度)(再)
-
RMSEの仕組み
-
高一物理 なぜルート√を近似値...
-
3重解?
-
精度・変動係数について質問です
-
回帰直線の変数xとyを入替えた...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
イプシロンデルタ論法は成り立つか
-
論理式を加法標準形、乗法標準...
-
整数問題9 激難 続き (2) 私の...
-
論理学 : unique readability t...
-
論理式 簡単化
-
(^_^.) 数学がよくできる人っ...
-
数学と論理的思考の関係につい...
-
判断推理(論理)
-
「AならばB」で、Aが偽でBが真...
-
2進法とブール代数について
-
NANDゲートのみの論理式
-
正直者とうそつきを見分ける質...
-
↓のやり方教えてください
-
【論理】正直者・あまのじゃく...
-
XOR をNAND素子のみを用いて表...
-
数Iの宿題で出た問題です
-
スコーレムの定理の意味 論理...
-
ゲーデルの不完全性定理
-
全統記述模試の数学なのですが...
おすすめ情報