代数的還元を解くK-Map

Question

私はK-Mapを使って代数的表現を検証する助けが必要です。

私が投稿している表現は、実際に私の教授によって行われましたが、実際の目的では、答えが正しいことを確認するためにK-Mapを使用したかったのです。私は答えが正しいことを証明するために私のK-地図ソリューションを試したとき

-> X • Y + X' • Y • Z' + Y • Z = 
    -> X • Y •(Z + Z') + X' • Y • Z' + Y • Z = 
    -> X•Y•Z + X•Y•Z' + X'•Y•Z' + Y• Z = 
    -> X•Y•Z + Y•Z' • (X + X') + Y•Z = 
    -> X•Y•Z + Y•Z' + Y•Z = 
    -> X•Y•Z + Y•(Z' + Z) = 
    -> X•Y•Z + Y= 
    -> Y•(X•Z + 1)= Y 

、私は私の答えが正しいかどうかわからないこの

YZ' + X'Y 

を思い付きました。そうでない場合は、私が投稿したソリューションと一致するように、正しい方法を示す人が必要です。私は助けに感謝します。

Answer 1

あなたの教授から与えられた控除と答えは正しいです（すべてのステップがあります）。したがって、あなたの答えは異なっていますが、正しいものではありません。たとえば、X = Y = Z = 1の場合を考えてみましょう。しかしながら

X • Y + X' • Y • Z' + Y • Z = 1 • 1 + 0 • 1 • 0 + 1 • 1 
          = 1 + 0 + 1 
          = 1 

、その等価Yから元の式とは異なるとも

Y • Z' + X' • Y = 1 • 0 + 0 • 1 
       = 0 + 0 
       = 0 

を次のように元の式が評価されます。

Answer 2

式が変更されず、2つの0または2のいずれかと一致する場合に限り、1がKマップに入ります。式が変更されたり、0と1が一緒になったりすると、式は存在しません。

これは私のK-Mapであり、私がしたことです。

Kmap

私の答えは、あなたの教授の答えと一致したY、と思いつきました。

（編集：私は式のプラスを置くことを忘れてしまったが、私はあなたのアイデアを得る願っています）

あなたは別の用語にSOP（DNF）の形で与えられた関数を破壊し、それらを見つけることができます

Answer 3

K-地図で。それは十字架のような実際にですです。

f(x,y,z) = x·y + ¬x·y·¬z + y·z 

：機能を有する

xがtrueで、yがtrueある

• x·y〜細胞を、。 赤色;

• ¬x·y·¬z〜細胞、xとzはfalseあるとyがtrueです。 青色;与えられたすべての変数を使用しているため、この用語はminterm単セルのみをマークしています。

• y·z〜細胞であり、ここで、yおよびzはtrueであり; 緑色と印を付けました。

あなたはマークされたセルが大きく2^iサイズバブル、2^2=4 1に分類することができることを、見ることができます。

そして、変数と演算子が少なくても、式での作業が容易になるので、元の関数で3つの製品を使用する代わりに、その関数を使用する必要があります。

可能な限り大きなグループを囲んで、あなたの先生と同じ結果が得られます。

あなたは値が唯一の変数yの値に依存しているため、今の式論理値は、真と評価例50％であり、他の50パーセント偽で見ることができるように

f(x,y,z) = x·y + ¬x·y·¬z + y·z = y 

。