ブール論理のXor回路

前提・実現したい

本に書いてあることが理解できないが理解したい。（オライリーコンピュータシステムの理論と実装）

"""
回路名 Xor
入力 a,b
出力 out
関数 If a≠b then out=0 else out=1
"""
この関数の部分は正しいですか？
If a=b then out=0 else out=1
だと思ったんですが。

ボールドテキスト

発生している問題・エラーメッセージ

エラーメッセージ

該当のソースコード

ソースコード

試したこと

ここに問題に対して試したことを記載してください。

補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。

行動規範の内容に同意します

回答3件

XOR、排他的論理和はこれで合っています。

A B O
真(1) 真(1) 偽(0)
真偽真
偽真真
偽偽偽

ちなみにタグにjavaとついているので、javaのコードにすると、

java
1int a = 1, b = 0;
2if( a != b ) out 1;
3else out 0;

(Cも一緒です。)

あと、今気づきましたが私の理解が正しければ逆ですね。

If a≠b then out=0 else out=1

繰り返しですが、
aとbが違うとき(then)、0(いいえ) ではなく、
aとbが違うとき(then)、1(はい) です。

投稿2018/10/29 13:47

yukkuri

総合スコア624

ベストアンサー

その本における真偽値の {0, 1} 表記の定義はどうなっていますか？
0が真(true)の場合は本の表記のままで正しいはずです。

投稿2018/10/29 12:38

mather

総合スコア6753

komal1938

2018/10/29 13:05

回答ありがとうございます。 Nandゲートを構成要素としてNot、And、Or、Xorゲートを実装するという内容で、それぞれの仕様の説明がされてて """ 回路名 Not 入力 in 出力 out 関数 If in=0 out=1 else out=0 回路名 And 入力 a,b 出力 out 関数 If a=b=1 then out=1 else out=0 回路名 Or 入力 a,b 出力 out 関数 If a=b=0 then out=0 else out=1 回路名Xor ↑上記のもの "" といった感じなので、1が真だと思うんです。文での説明もあり、「2入力が互いに異なる場合に1を返し、それ以外は0を返す。」とはっきり書かれています。