- ベストアンサー
論理演算について
論理式でX=～A+～Bは、X=～（A・B）とも表すことができるとありますが、どうしてでしょうか？考え方を教えていただければ幸いです。 ※ちなみにX=～（A・B）は、Aの上方からBの上方へ否定の線を引いたのと同様のものと捉えていただければ良いです。
- dert342
- お礼率84% (141/166)
- その他([技術者向] コンピューター)
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&A
- 論理演算について
はじめまして。検索して調べたんですが、どうも分からないので 質問させていただきます。 レジュメに書いてある数値が少し違う問題には解答がありますが、 何がどうなっているのやら、さっぱりわかりませんでした・・・。 そしてこの問題の解答は時間の関係で教えてもらえないまま。 昼ごろから自分の力で解こうとしたのですが解き方が分からないで、 どうしようもありません。 どなたかお教えくださいませんでしょうか。よろしくお願いします。 f(0,0)=0 , f(0,1)=1 , f(1,0)=0 , F(1,1)=1 を満足する２変数の論理関数をf(A,B)とする。 X=f(A,B)を展開定理を用いてA,Bの論理式で表現せよ。 ただし、できるだけ簡単な論理式とせよ。
- 締切済み
- その他（学問・教育）
- 論理演算について質問
何度もすみません。 また質問します。これで最後にしたい、、 質問１：&&や||等の論理演算子は、その両側にある2つの“boolean型の式（関係式等）”に対して論理演算を行う。 評価は、両側の式に対して並列に行うのではなく、１つづつ行って行く。 因みに、||は「論理式」を論理演算するこどができる。例えば、 int a=1,b=0,c=0のとき a==1 && b==3 || a==1 && b==0 の論理式があったとします。 この論理式の||は、即に演算されたa==1 && b==3とa==1 && b==0の論理式を演算の対象としている。 質問２：「評価」と「論理演算」って意味は同じですか？違いますか？違うならその違いは？ 質問３：a==1 && b==0 || （a==1 && b==0）の論理式は、先に（a==1 && b==0）の論理式を論理演算すると思ってました。でも、以前そのような仮説をもって質問したら、回答者の方に実際違うと指摘されました。何故ですか？だって（）の中の論理式なんだから、優先的に演算されるはず。
- ベストアンサー
- Java
- 論理演算について質問
int a=1,b=0,c=0のとき a==1 && b==0 || （a==1 && b==0） の論理式あったとします 質問１：&&や||の論理演算子について、その『両側』にある２つの関係式を「１つ１つ評価」することにより論理演算する。この認識で正しいですか？ 質問２：論理式 a==1 && b==0 || （a==1 && b==0）について、trueになるプロセスの認識は以下で正しいですか？ （a==1 && b==0）のa==1を評価しtrue、次にb==0を評価しtrue。 よってこの論理式はtrue ↓ a==1 && b==0 のa==1 を評価しtrue、b==0 を評価しtrue。 よってこの論理式はtrue ↓ ||は、右の論理式（（a==1 && b==0））がtrueで左の論理式（a==1 && b==0 ）もtrueだから、論理式全体はtrueで確定しているので、評価を行わない。
- ベストアンサー
- Java
- 論理式の計算順序
X=~A・~B+~A・B+A・~B (~A,~B,はそれぞれA,Bの否定 ・は論理積、＋は論理和） という論理式の計算順序について教えてください。 私は、左から順に、Aの否定とBの否定の論理積をとっ て、その結果をAの否定の論理和をとってというように 計算しました。式にすると、 X=(((((~A・~B)+~A)・B)+A)・~B)です。結果、求めた 真理値表は解答のものと違ってしまいました。 解答では、~A・~B、 ~A・B、 A・~Bをまず先に求め、 その結果の論理和をとっていました。式にすると、 X=(~A・~B)+(~A・B)+(A・~B)という計算順序でした。 なぜ、このような計算順序になるのか、また、 もし、X=~A・~B+~A・B+Aのように最後の~Bを 取り除いた場合の計算順序も教えてください。 よろしくお願いします。 真理値表 A B X 0 0 1 0 1 1 1 0 1 1 1 0
- ベストアンサー
- 情報処理技術者
- 論理演算について質問
int a=1,b=0,c=0のとき a==1 && b==0 || （a==1 && b==0） a==1 && b==0 &&c==0 && b==0 の2つの論理式あったとします 質問１：&&や||は、その間にある２つの関係式や２つの関係式の論理演算の結果同士などを論理演算するものだと思います。この認識で正しいですか？ 質問２：上記の論理式の後者a==1 && b==0 &&c==0 && b==0について、trueになるプロセスの認識は以下で正しいですか？ a==1 && b==0 はtrue ↓ 左から２番目の&&は、左の論理式（a==1 && b==0）の演算結果であるtrueと関係式c==0を論理演算（つまり、論理演算の結果trueと関係式の2つを演算）、、結果true ↓ 左から３番目の&&は、左の論理式（a==1 && b==0 &&c==0 ）の演算結果であるtrueと右の関係式b==0を論理演算（つまり、論理演算の結果trueと関係式の2つを演算）、結果true 質問３：上記前者の論理式a==1 && b==0 || （a==1 && b==0）について、trueになるプロセスの認識は以下で正しいですか？ （a==1 && b==0）はtrue ↓ a==1 && b==0 はtrue ↓ ||は、右の論理式（（a==1 && b==0））の演算の結果trueと左の論理式（a==1 && b==0）の演算結果trueを計算し（つまり論理演算の結果同士であるtrue２つを演算）、結果true
- ベストアンサー
- Java
- 論理演算について質問
最初に、前回同じ質問に答えてくださった方へ、いろいろな人から僕の仮説のコンセンサスを得たいので、再度同じ質問しますね。 int a=1,b=0,c=0のとき a==1 && b==0 | （a==1 && b==0） a==1 && b==0 &&c==0 && b==0 の2つの論理式あったとします 質問１：&&や||は、その間にある２つの関係式や２つの関係式の論理演算の結果同士などを論理演算するものだと思います。この認識で正しいですか？ 質問２：上記の論理式の後者a==1 && b==0 &&c==0 && b==0について、trueになるプロセスの認識は以下で正しいですか？ a==1 && b==0 はtrue ↓ 左から２番目の&&は、左の論理式（a==1 && b==0）の演算結果であるtrueと関係式c==0を論理演算（つまり、論理演算の結果trueと関係式の2つを演算）、、結果true ↓ 左から３番目の&&は、左の論理式（a==1 && b==0 &&c==0 ）の演算結果であるtrueと右の関係式b==0を論理演算（つまり、論理演算の結果trueと関係式の2つを演算）、結果true 質問３：前者の論理式、a==1 && b==0 | （a==1 && b==0）について、trueになるプロセスの認識は以下で正しいですか？ （a==1 && b==0）はtrue ↓ a==1 && b==0 はtrue ↓ |は、右の論理式（（a==1 && b==0））の演算の結果trueと左の論理式（a==1 && b==0）の演算結果trueを計算し（つまり論理演算の結果同士であるtrue２つを演算）、結果true
- ベストアンサー
- Java
- 論理回路？
ドモルガンの法則がわかりません。否定論理積（ＮＡＮＤ）=排他的論理和（ＥＯＲ）が、ドモルガンの法則になるのか？と考察しましたが、ペン図で表すとＥＯＲには全体部の塗りつぶしが無いです。ドモルガンの法則は式で表すと、AまたはBの否定＝AかつBの否定で、AまたはBの否定は否定論理和（ＮＯＲ）になり、否定論理積（ＮＡＮＤ）と合いません。有識者の方、詳しい解説、ご教授願えれば幸いです。
- ベストアンサー
- その他([技術者向] コンピューター)
- 論理式の解き方
論理式 ______________ (x+y)・(x+z) ―は否定 ・は論理積 ＋は論理和 を[等価な論理式]にするとどうなりますか？ _ x は x の否定。
- ベストアンサー
- その他([技術者向] コンピューター)
お礼
回答ありがとうございます。サイトを見ましたが難しすぎてよくわかりませんでした。ただ、図で表すと、XORとNANDの違いは、XORの場合、全体部が塗りつぶしがなく、あとは、NANDと一緒でした。なのにどうしてXOR=NANDになるのかがわかりません。