teratail
回答率
85.30%
teratail header banner
teratail header banner
質問するログイン新規登録
トップCに関する質問XOR SWAPの証明方法がわかりません。

編集履歴

回答編集履歴

3

追記

2018/11/30 06:45

投稿

hayataka2049
hayataka2049

スコア30939

answer CHANGED
@@ -11,8 +11,8 @@
11
11
  ブール演算でやるならこんな感じです。
12
12
  ```
13
13
  (a XOR b) XOR b
14
- =a XOR (b XOR b) # 結合律
14
+ = a XOR (b XOR b) # 結合律
15
- =a XOR 0 # (b XOR b)は0
15
+ = a XOR 0 # (b XOR b)は0
16
- =a # a XOR 0はa
16
+ = a # a XOR 0はa
17
17
 
18
18
  ```

2

追記

2018/11/30 06:44

投稿

hayataka2049
hayataka2049

スコア30939

answer CHANGED
@@ -1,8 +1,18 @@
1
1
  こんな真理値表を埋めれば良いんじゃないでしょうか。
2
2
 
3
- |a|b|a XOR b|(a XOR B) XOR b|(a XOR b) XOR a)
3
+ |a|b|a XOR b|(a XOR b) XOR b|(a XOR b) XOR a)
4
4
  |--|--|--|--|--|
5
5
  |0|0|...|...|...|
6
6
  |0|1|...|...|...|
7
7
  |1|0|...|...|...|
8
- |1|1|...|...|...|
8
+ |1|1|...|...|...|
9
+
10
+ ### 別解
11
+ ブール演算でやるならこんな感じです。
12
+ ```
13
+ (a XOR b) XOR b
14
+ =a XOR (b XOR b) # 結合律
15
+ =a XOR 0 # (b XOR b)は0
16
+ =a # a XOR 0はa
17
+
18
+ ```

1

二項演算子風に

2018/11/30 06:44

投稿

hayataka2049
hayataka2049

スコア30939

answer CHANGED
@@ -1,6 +1,6 @@
1
1
  こんな真理値表を埋めれば良いんじゃないでしょうか。
2
2
 
3
- |a|b|xor(a,b)|xor(xor(a,b),b)|xor(xor(a,b),a)
3
+ |a|b|a XOR b|(a XOR B) XOR b|(a XOR b) XOR a)
4
4
  |--|--|--|--|--|
5
5
  |0|0|...|...|...|
6
6
  |0|1|...|...|...|