論理学/排他的論理和
提供: Internet Web School
(版間での差分)
(→真理値表で排他的論理和を確認) |
|||
| (間の1版分が非表示) | |||
| 45 行: | 45 行: | ||
否定と論理和と論理積の３種類の演算子を用いて排他的論理和をつくる | 否定と論理和と論理積の３種類の演算子を用いて排他的論理和をつくる | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
{| border="1" class="wikitable" style="background-color:#ddf" | {| border="1" class="wikitable" style="background-color:#ddf" | ||
| 109 行: | 102 行: | ||
*<span class="pops"> [[cai_ja:EDULOG00010004|CAIテストのページへ（新しいWindowが開きます）]] </span> | *<span class="pops"> [[cai_ja:EDULOG00010004|CAIテストのページへ（新しいWindowが開きます）]] </span> | ||
| + | |||
| + | |||
| + | |||
| + | [[en:Logic/Exclusive disjunction]] | ||
| + | [[ja:論理学/排他的論理和]] | ||
2014年5月23日 (金) 04:52 時点における最新版
論理学 ＞ 排他的論理和
目次 |
目次
説明
排他的論理和（xor）
「α∨β」を、「αまたはβ」と呼ぶと言ったが、通常の日本語での会話とは意味が異なる。 たとえば、「お昼は、カレーかまたはラーメンにしよう」、と言ったとき、通常は両方食べるのではなく、 一方だけ食べるということが前提になっている。排他論理和は、どちらか一方のみが真のときだけ真となるので、 「カレーにする xor ラーメンにする」と表現すると通常の会話の意味となる。
真理値表で排他的論理和を確認
以下の真理値表は、1を真、0を偽としている。
排他的論理和の真理値表での定義
| P | Q | P xor Q |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
否定と論理和と論理積の３種類の演算子を用いて排他的論理和をつくる
| P | Q | ￢P | ￢Q | P∨￢Q | ￢P∨Q | （P∨￢Q）∧（￢P∨Q） | ￢（（P∨￢Q）∧（￢P∨Q））＝ P xor Q |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 |
| 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 |
考えてみよう
- 否定と論理和の２種類の演算子を用いて排他的論理和をつくりなさい
- 否定と論理積の２種類の演算子を用いて排他的論理和をつくりなさい
