「排他的論理積」の版間の差分
提供: Yourpedia
(ユアペディア) |
(→性質) |
||
| 9行目: | 9行目: | ||
:'''''P''''' ⦿ '''''Q''''' = ( '''''P''''' ⋀ '''''Q''''' ) ⋀ ¬ ( '''''P''''' ⋀ '''''Q''''' ) | :'''''P''''' ⦿ '''''Q''''' = ( '''''P''''' ⋀ '''''Q''''' ) ⋀ ¬ ( '''''P''''' ⋀ '''''Q''''' ) | ||
:'''''P''''' ⨁ '''''Q''''' = ( '''''P''''' ⋀ '''''Q''''' ) ⋁ ¬ ( '''''P''''' ⋀ '''''Q''''' ) | :'''''P''''' ⨁ '''''Q''''' = ( '''''P''''' ⋀ '''''Q''''' ) ⋁ ¬ ( '''''P''''' ⋀ '''''Q''''' ) | ||
| + | *ANDのケースから、'''''P''''' ⋀ '''''Q''''' を除外(exclude)すると、常に偽である<ref>[https://www.quora.com/Why-dont-we-have-any-logic-gate-named-XAND-and-XNAND Why-dont-we-have-any-logic-gate-named-XAND-and-XNAND] Quora 2018年1月12日閲覧 <small>"So what would XAND mean? What does it mean to exclude a case from AND? There is only one case where AND is true, so if you exclude a case from AND, you are left with F, which already exists."</small></ref>。 | ||
== 真理値表 == | == 真理値表 == | ||
2018年1月29日 (月) 07:47時点における版
排他的論理積（はいたてきろんりせき）、または、XAND（エクサンド）とは、2つの命題が共に真または偽のときにいずれも偽となる論理演算である [1]。
表記法
演算子は、XAND、xand、⦿ と書くことが多く、論理回路などでは、 ⦿ を使用して A ⦿ B のように書くことが多い。
性質
排他的論理積は、排他的論理和と論理積を用いて表すことができる。
- ( P ⨁ Q ) ⋀ ( P ⋀ Q ) = P ⦿ Q
- XOR との比較
- P ⦿ Q = ( P ⋀ Q ) ⋀ ¬ ( P ⋀ Q )
- P ⨁ Q = ( P ⋀ Q ) ⋁ ¬ ( P ⋀ Q )
- ANDのケースから、P ⋀ Q を除外(exclude)すると、常に偽である[2]。
真理値表
| 命題 P | 命題 Q | P ⦿ Q |
|---|---|---|
| 真 | 真 | 偽 |
| 真 | 偽 | 偽 |
| 偽 | 真 | 偽 |
| 偽 | 偽 | 偽 |
脚注
- ↑ XAND_gate?-Physics_Forums-The_Fusion_of_Science_and_Community 2015年9月25日 Physics_Forums
- ↑ Why-dont-we-have-any-logic-gate-named-XAND-and-XNAND Quora 2018年1月12日閲覧 "So what would XAND mean? What does it mean to exclude a case from AND? There is only one case where AND is true, so if you exclude a case from AND, you are left with F, which already exists."
