論理学 シェーファーの棒 NAND
シェーファーの棒を用いた命題の変形が理解できません。
A) (1)P∧Q ⇔ (2)¬(P|Q) ⇔ (3)(P|Q)|(P|Q)
B) (1)P∨Q ⇔ (2)¬(¬P∧¬Q) ⇔ (3)¬P|¬Q ⇔ (4)(P|P)|(Q|Q)
A)の(2)から(3)、B)の(3)から(4)への変形が分かりません。
理解できる範囲と理解できない範囲をもう少し明確にします。
A|Bが¬(A∧B)と同じ真理関数を表現するために、NAND(NOT+AND)と呼ばれることは分かります。
A)の(2)から(3)、B)の(3)から(4)への変形を理解するには、<¬P ⇔ P|P>という基本的な公式を理解しておくことが前提になると思うのですが、この基本的な部分が既に分かりません。項目が一つしかないので、<¬(A∧B)>に由来するNANDの性質を満たしていないように感じてしまうのです。Pでないを<P|P>とも書けるという単なる決まりとも思えません。
<¬P>から<P|P>へと変化する際にPの数が倍になっていることと、<(P|Q)|(P|Q)><(P|P)|(Q|Q)>というPとQが二つずつある形との間には何かつながりがあると思うのですが、PとQが交互に出てくるか、続けて出てくるかの違いを生じさせる原因が分かりません。
分かる方がおられましたら、よろしければ説明していただけないでしょうか。
お願いいたします。
No.2ベストアンサー
- 回答日時:
今日は、疲れているので、詳しく説明できません(もしかしたらミスするかも(^^;))。
すみません。今、できるだけの回答をしてみます。A)の右側の変形の場合、R⇔P|Q とすれば、¬(P|Q) ⇔ ¬R ⇔ R|R ⇔ (P|Q)|(P|Q)
となります。
B)の最後の変形では、¬P ⇔ P|P と ¬Q ⇔ Q|Q の変形を同時にやれば答えがでるはずです。
そこで、このPとQの出現順番の違いについてですが。
NANDは交換法則 P|Q ⇔ Q|P は成り立つのですが、結合法則 (P|Q)|S ⇔ P|(Q|S) が成り立ちません。
もし結合法則が成り立てば、(P|Q)|(P|Q) ⇔ (P|Q)|(Q|P) ⇔ P|(Q|Q)|P ⇔P|P|(Q|Q) ⇔ (P|P)|(Q|Q) となって楽なのですが、一般にはできないわけです。それでA)とB)での結果は異なるわけです。
この結合法則が成り立たない、というのは人間にとって非常に直感が効きにくいので計算が分かりにくくなります。
そのため、ブール代数はNANDだけ、とかNORだけのひとつの演算でも表現できるにもかかわらず、AND、OR、NOT、などの方がよく使われます。
(とはいえ、論理回路の設計などでは、例えばNANDの数をできるだけ少なくなるように変形する、などの話は必要になります。)
詳しくありがとうございました。
おかげで完璧に理解できました。
単純な原理が見ぬけていなかったのですね。
すぐにご返事をさしあげたつもりだったのですが、
正しい操作が出来ていなかったのか、
返事が出来ていませんでした。
申し訳ありませんでした。
No.1
- 回答日時:
基本的な問題は、¬P⇔P|P の部分ですね。
¬(A∧B)のAとBは何でもいいので、等しくともかまわないわけです。NANDの定義により、P|P ⇔ ¬(P∧P) ⇔ ¬P が証明されます。
AND(∧)はべき等律 P∧P ⇔ P が成り立つのでこうなりますが、|はべき等率P|P ⇔ Pは成り立ちません。それでPの数が倍になります。
NANDは、通常使われる式の変形が成り立たないことが多いので、ひとつひとつ形式的に変形していくしかないと思います。
この回答への補足
ご回答ありがとうございました。
おかげさまで、¬P⇔P|Pの変形が分かりました。
¬PからP|Pに至る変化に、¬Pと等しい¬(P∧P)が潜んでいたのですね。
説明していただいた内容で本来は全て解決するはずだとおもうのですが、
こうした問題は本当に苦手で、まだ疑問が残っています。
A) (1)P∧Q ⇔ (2)¬(P|Q) ⇔ (3)(P|Q)|(P|Q)
B) (1)P∨Q ⇔ (2)¬(¬P∧¬Q) ⇔ (3)¬P|¬Q ⇔ (4)(P|P)|(Q|Q)
A)の(2)から(3)の変化では、PとQの数が倍になって、両者がPQPQと交互に出てきます。
B)の(3)から(4)の変化でも、PとQの数は倍になりますが、両者はPPQQと二つ続けて出て来ます。この違いはどうして生じるのでしょうか?
より基本的な部分が分かっていないのが問題だと思います。
¬Pが¬(P∧P) と等しい(=べき等律がなりたつ)ために、Pの数が倍になったP|Pになるのは分かります。
ですが、¬(P|Q)から(P|Q)|(P|Q)、¬P|¬Qから(P|P)|(Q|Q)というように、すでにシェーファー記号が用いられた論理式が、シェーファー記号を使った別の論理式にさらに変形できるのは何故なのか、その際にPとQの数が倍になるのは何故なのかが理解できません。
何度も申し訳ありませんが、よろしければもう少し説明していただけないでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 高校 対数方程式につきまして 4 2022/05/05 07:55
- 物理学 微分方程式の物理現象への適用について 3 2023/05/14 12:22
- その他(自然科学) 相対性理論と量子力学の統一の正体は、物質M±の変化進行形の性質に有る。とは思いませんか?? 1 2023/03/28 08:56
- 英語 ”be”<動詞>と<助動詞>混同の誤り ― 形式主義文法論の混迷 12 2022/05/17 11:09
- 数学 写真の数学の問題(2)についての質問です。 ∠Aの2等分線とBCとの交点がRでBC=aで、 あとは点 1 2023/07/02 12:34
- 数学 数学の問題の解き方を教えてください! 3 2022/11/02 17:32
- 数学 写真の(3)の問題の解説の1行目についてですが、 ①なぜ、曲線Kの囲む図形は、cos(-θ)と表せる 5 2023/01/26 00:36
- 大学受験 現代文について教えください。 問題 傍線部1「科学的方法」とあるが、それは具体的にいうとどのような方 3 2022/10/16 20:31
- 数学 離散フーリエ逆変換が周波数分割数をNにできる理由について 4 2022/09/18 12:56
- 数学 真偽表(真理値表)について 今日、大学の授業で真偽表(真理値表)について学習しました。(画像)(見づ 5 2022/04/13 01:18
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
合成関数の微分を使う時と、使...
-
yの二乗をXで微分したら2y・y' ...
-
「強度」は高い?強い?
-
振幅比の計算
-
「強度が弱い」という文はおか...
-
微分可能ならば連続ですが、 不...
-
積分定数Cとは一体なんですか?
-
y=tan^2 x ってどうやって微分...
-
数3の極限について質問です は...
-
y=logX+1 の微分教えください ...
-
2桁の自然数のうち4で割ると1余...
-
1/cos^2θを微分したら何になり...
-
角パイプのサイズ毎の耐荷重力...
-
テーブル構造を支える脚の材料...
-
y=(1+cosx)sinx を微分するとど...
-
縞鋼板の曲げ応力度・たわみに...
-
吊り金具がどれくらいもつか計...
-
数Ⅲの関数の極値についての問題...
-
座屈とたわみの違いを簡潔に教...
-
ナマカライチュンドー⊂('ω'⊂ )))Σ≡とはな...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「強度」は高い?強い?
-
合成関数の微分を使う時と、使...
-
yの二乗をXで微分したら2y・y' ...
-
「強度が弱い」という文はおか...
-
積分定数Cとは一体なんですか?
-
縞鋼板の曲げ応力度・たわみに...
-
微分可能ならば連続ですが、 不...
-
y=logX+1 の微分教えください ...
-
数Iの問題です cosθ=5分の3の...
-
テーブル構造を支える脚の材料...
-
振幅比の計算
-
sin^2xとsinx^2は同じと聞きま...
-
吊り金具がどれくらいもつか計...
-
ヤング率と引張強度について す...
-
双曲線関数は、実生活上どのよ...
-
角パイプのサイズ毎の耐荷重力...
-
y=tan^2 x ってどうやって微分...
-
1/cos^2θを微分したら何になり...
-
次の問題を教えてください。 (x...
-
数Ⅲ 微分 aを0<a<π/2を満た...
おすすめ情報