No.8ベストアンサー
- 回答日時:
#4,#5です。
A#4,A#5のカルノー図の訂正
計算ミスでした。左下のFの値は指摘の通り「0」になります。
従ってカルノー図は以下のようになります。
(A#4,A#5のカルノー図と差し替えて下さい。)
_F_|____CD______
AB_|_00_01_11_10
00_|__0__0__0__0
01_|__0__0__0__0
11_|__1__1__1__1
10_|__0__1__0__0
A#4の最後の2行は削除し以下と差し替え下さい。
正:¬F=¬A∨(¬B∧(C∨¬D))
これは演算子の優先順から「¬F=¬A∨¬B∧(C∨¬D)」でも構いません。
誤:not(F)=(not) A ∨ ((not)B ∧ C ∨ (not)D ) = ¬A∨(¬B∧C∨¬D)
関連しての訂正
A#4の補足
>>カルノー図の一番左下のAB=10、CD=00の項は0ですか?
A#5の補足
>一番左下を
>F=1∧(0∨1∧0)と考え括弧内を前から順に計算、のちに括弧外、括弧内で
>計算したところ答えが0になってしまいました。
指摘の通り計算「0」です。
ABCD=1000
F=A∧(B∨¬C∧D)
=1∧(0∨¬0∧0)
=1∧(0∨1∧0)
=1∧(0∨0)
=1∧0
=0
>今まで選言、連言は括弧以外前から考えていったのですが
>連言は掛け算のように考え先に計算しなくてはいけないのでしょうか?
【演算優先順】(>の左の方が優先順位が高い)
「括弧( )内」>「否定¬」>「連言∧」>「選言∨」>「(同じ論理記号が続く場合)前(左)の方から順に演算」
この回答への補足
>計算ミスでした。左下のFの値は指摘の通り「0」になります。
細かな所ですが未熟な自分には大切な点だったので助かりました。
確認ありがとうございます。
>正:¬F=¬A∨(¬B∧(C∨¬D))
> これは演算子の優先順から「¬F=¬A∨¬B∧(C∨¬D)」でも構いません。
>誤:not(F)=(not) A ∨ ((not)B ∧ C ∨ (not)D ) = ¬A∨(¬B∧C∨¬D)
見た目はほとんど変わらないのに計算結果が違うんですね。
教えてくださった優先順位の方法を使いたいところですが、万全を期して
括弧でくくる癖をつけていこうと思います。
>演算優先順】(>の左の方が優先順位が高い)
>「括弧( )内」>「否定¬」>「連言∧」>「選言∨」>「(同じ論理記号が続く場合)>前(左)の方から順に演算」
連言、選言の優先順位を同格だと勘違いしていましたので間違いに気付けてよかったです。
四則演算と同じだと考えれば簡単に覚えられそうですね。
丁寧なカルノー図、優先順位の回答ありがとうございました。
たった1つの問題に非常に多くの方に回答をいただき多くのことを
学ばせていたのですが、ベストアンサーは1人しか選べないと
いうことでinfo22_ににさせていただこうと思います。
皆様ありがとうございました。
No.7
- 回答日時:
No.1の質問を軽く流しちゃだめ。
(B∨¬C)∧DとB∨(¬C∧D)は同値ではないからカッコがない段階で問題に不備がある。
>教科書には2項のものしか書いておらず
∧,∨,→の論理結合子は2項演算子だということを確認してください。
この回答への補足
>No.1の質問を軽く流しちゃだめ。
>(B∨¬C)∧DとB∨(¬C∧D)は同値ではないからカッコがない段階で問題に不備がある。
No.1の質問の際にも確認させていただいたのですがやはり
括弧はありません。
欠陥問題だったんですね・・・
当方実力不足で重要なところとそうでないところの区別があまりついていないため
こういったご指摘は大変助かります。
>∧,∨,→の論理結合子は2項演算子だということを確認してください。
2項演算子について調べたところちょうど∧、∨についても言及している
ページを見つけたのでさっそく読んでいきたいと思います。
重大なご指摘、勉強のポイントについての書きこみありがとうございました。
No.6
- 回答日時:
No.3です。
ド・モルガンだけ補足を入れておきますね。
ド・モルガン の方法は、対偶を取っているのと同じことなので、
3項の場合は使えませんよ ^^; 論理命題で「逆」「裏」「対偶」ってあるでしょう?
あれあれ♪
三項の否定形とかになると、加法標準形か、乗法標準系かに直す 方法
または、そのまま真理値で¬を取る方法があります。(← こっちが早いけどね♪)
極端な言い方したら、真理値とって否定にすれば、なんだっていいんだけどね><
手法はいろいろありますね。 やはりDは消えますね。
m(_ _)m
この回答への補足
ド・モルガンは何項あっても使えるものだとばかり思っていただけに
ショックながら非常に勉強になるお知らせです。
言われてみれば納得。
ただのルールだと思って特に考えていなかったんですが、対偶を
利用した考えだったんですね。
教えていただいた方法についても早速調べてみようと思います。
わざわざ補足までしていただいてありがとうございました。
No.5
- 回答日時:
>(スペースが潰れる場合は等幅フォントで見てください)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
CD
AB 00 01 11 10
00 0 0 0 0
01 0 0 0 0
11 1 1 1 1
10 1 1 0 0
このサイトでは等幅フォントが使われておらず、スペースが左に詰められてしまいますので
カルノー図の部分をコピーして適当なテキストエディターに貼り付けてスペースが正しく表示される状態にして、見るようにしてください(プロポーショナルフォント表示は駄目)。
>>ただ書いてくださったカルノー図の一番左下のAB=10、CD=00の項は0ですか?
「1」です。
左から「1 1 0 0」
1と並んでいます。
この回答への補足
たびたびの返信すいません。
現在教科書がないのでカルノー図について書いてある本が見つからないので
wikipediaを見ながらやっています。
一番左下を
1∧(0∨1∧0)と考え括弧内を前から順に計算、のちに括弧外、括弧内で
計算したところ答えが0になってしまいました。
何が間違っているのか理解できておりませんのでお手数ですが
理由と正しい考え方の例をお願いします。
またついでで申し訳ないのですが今気付いたことなのでお聞きしたいことがあります。
今まで選言、連言は括弧以外前から考えていったのですが
連言は掛け算のように考え先に計算しなくてはいけないのでしょうか?
No.4
- 回答日時:
ベン図は論理変数が3個まで、それ以上では使えないので、カルノー図を使うのが一般的です。
Fのカルノー図を描き、
カルノー図の0の部分をカルノーサークルで囲んで積項を作り論理和を取れば良いでしょう。
F = A ∧ (B ∨ (not)C ∧ D)
カルノー図を描くと
(スペースが潰れる場合は等幅フォントで見てください)
CD
AB 00 01 11 10
00 0 0 0 0
01 0 0 0 0
11 1 1 1 1
10 1 1 0 0
この図で0の箇所を出来るだけ大きなカルノーサークルで囲んで「(not)F=¬F」
の項を拾い出せば最簡形の加法標準形が求まります。
正:¬F=¬A∨(¬B∧C)
誤:not(F)=(not) A ∨ ((not)B ∧ C ∨ (not)D ) = ¬A∨(¬B∧C∨¬D)
この回答への補足
カルノー図は今まで調べたことがあっても見た目が難しそうなので
敬遠していましたが、教えてくださったとおりやってみると
簡単で正確に答えがだせるものなんですね。
次の問題にも利用できそうなので早速使わせてもらいます。
ただ書いてくださったカルノー図の一番左下のAB=10、CD=00の項は0ですか?
不慣れで理解出来ているか分かりませんので申し訳ありませんが返答お願いします。
No.3
- 回答日時:
こんばんは。
これちょっと待って。
F = A ∧ (B ∨ (not)C ∧ D) だよね。
右辺 A∧(・・・) なので、
¬(←notね)F=¬{A ∧ (B ∨ (not)C ∧ D)}
=¬A∨¬(B ∨ (not)C ∧ D)
としないといけないんじゃないかな?
三項だから、ベン図で確認もできるし。 m(_ _)m
はい。
その右の¬(B ∨ (not)C ∧ D)の部分をド・モルガンでどう展開していけばいいのかが
分からなかったり、¬Fを出すためにはその3項と¬Aを組み合わせたり・・・
等と考え苦しんでいました。(´・ω・)
回答ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 英語 写真の問題についてですが、赤丸部分を見ると、any〜notという語順になっていると思うのですが、この 4 2023/08/18 01:34
- 英語 英文法について質問です。 The teacher’s explanation was so long 3 2023/01/30 21:19
- 数学 時々、回答者の見識に疑念を抱いてしまうんです。私だって本当は皆様のことを疑いたくはありません。しかし 2 2022/11/27 12:23
- 英語 部分否定? 3 2022/05/10 23:25
- MySQL my_itemsテーブルのIDにAUTO_INCREMENT を追加ができるかで 1 2023/01/03 09:09
- 英語 提示した名言について(並列表現の文法規則) 4 2023/06/02 09:41
- 英語 英語の問題で質問があります。 Letters must not be written in red 1 2023/06/19 14:51
- 英語 英語 大学受験 英文法問題について Not a soul ( )seen in the classr 2 2022/08/30 14:11
- 英語 Osteogenesis in group B and C were significantly l 2 2022/03/24 05:27
- 英語 英語 could notについて 3 2023/01/01 23:48
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
【数学・乗法公式はどういうと...
-
NANDゲートのみの論理式
-
実験における誤差範囲の許容範...
-
計算値と理論値の誤差について
-
平均値、標準偏差の有効数字に...
-
シリアル通信の速度
-
両端支持はりのたわみの誤差が...
-
3重解?
-
個人に嫌がらせする電磁波攻撃...
-
メーザーとレーザーの違い
-
相対誤差が小さいと判断する基...
-
環境保護と資本主義の相克
-
電波はどういう仕組み出るので...
-
数値積分の累積誤差
-
電気信号と電波の違いを教えて...
-
AM変調回路について。
-
パルス符号変調(PCM)方式につ...
-
SSBの包絡線検波
-
石油(軽油)のタンクより 出し入...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
【論理演算子?】AND、OR、XOR...
-
正負逆転のことをなんといいま...
-
【数学・乗法公式はどういうと...
-
(^_^.) 数学がよくできる人っ...
-
「偶然」のパラドックス
-
「AならばB」で、Aが偽でBが真...
-
XOR をNAND素子のみを用いて表...
-
NANDゲートのみの論理式
-
正直者とうそつきを見分ける質...
-
自然数は減法について閉じている?
-
数Iの宿題で出た問題です
-
除法の種類
-
論理学 : unique readability t...
-
ゲーデルの不完全性定理
-
数学と論理的思考の関係につい...
-
ちょっと複雑な質問でごめんな...
-
集合の問題で、論理式で答えを...
-
何故理系の方が論理的な文章を...
-
イプシロンデルタ論法は成り立つか
-
1bitの半加算器をNANDのみで表す時
おすすめ情報