そうする理由はありますか?つまり、minterms の合計で、出力 1 の用語を探します。彼らがそれを「minterms」と呼ぶ理由がわかりません。1 は 0 よりも十分に大きいため、なぜ maxterms を使用しないのでしょうか?
私が知らないこの背後にある理由はありますか?それとも、理由を聞かずにそのまま受け入れる必要がありますか?
そうする理由はありますか?つまり、minterms の合計で、出力 1 の用語を探します。彼らがそれを「minterms」と呼ぶ理由がわかりません。1 は 0 よりも十分に大きいため、なぜ maxterms を使用しないのでしょうか?
私が知らないこの背後にある理由はありますか?それとも、理由を聞かずにそのまま受け入れる必要がありますか?
これらの用語を「minterms」および「maxterms」と呼ぶ慣例は、1 が 0 より大きいことに対応していません。答える最良の方法は、例を使用することだと思います。
回路があり、 で記述されているとしX̄YZ̄ + XȲZ
ます。
「このフォームは、3 つの 2 つのグループで構成されています。3 つの各グループは、'minterm' です。minterm という表現は、式の 3 つのグループのそれぞれが、次のいずれかに対してのみ 1 の値を取ることを意味することを意図しています。 X、Y、Z およびそれらの逆数の 8 つの可能な組み合わせ。」http://www.facstaff.bucknell.edu/mastascu/elessonshtml/Logic/Logic2.html
したがって、「最小」が指すのは、これらの用語が特定の機能を構築するために必要な「最小」の用語であるという事実です。さらに詳しい情報が必要な場合は、上記の例について、提供されているリンクでより詳細なコンテキストで説明されています。
編集:「ANDにMINを使用し、ORにMAXを使用した理由」は次のとおりです。
積の合計(ANDと呼ぶもの)では、式が真になるためには最小項の1つだけが真でなければなりません。Product of Sums (OR と呼ばれるもの)では、式が真になるためにはすべての maxterms が真でなければなりません。
min(0,0) = 0
min(0,1) = 0
min(1,0) = 0
min(1,1) = 1
したがって、最小値は論理積とほとんど同じです。
max(0,0) = 0
max(0,1) = 1
max(1,0) = 1
max(1,1) = 1
したがって、maximumは論理ORとほとんど同じです。
AB が最小項と呼ばれるのは、ベン図の最小領域を占めるためだと思います。A+B は、ベン図で最大の面積を占めるため、MAXTERM と呼ばれます。二つの図を描けば意味がわかる Ed Brumgnach
Sum Of Products ( SOP )では、SOP 式の各項は「minterm」と呼ばれます。
たとえば、SOP式は次のように与えられます: F(X,Y,Z) = X'.Y'.Z + XY'.Z' + XY'.Z + XYZ
このSOP式が「1」またはtrue (正論理) に なるためには、式の項のANYが 1 でなければなりません。つまり、「minterm」という単語です。
つまり、(X'Y'Z) 、 (XY'Z') 、 (XY'Z) または (XYZ) のいずれかが1であると、F(X,Y,Z) が 1 になります!! したがって、それらは「ミンターム」と呼ばれます。
一方、Product Of Sum ( POS ) では、POS 式の各項は「maxterm」と呼ばれます。
POS式が次のように与えられるとします: F(X,Y,Z) = (X+Y+Z).(X+Y'+Z).(X+Y'+Z').(X'+Y' +Z)
このPOS式が " 0 " であるためには ( POSは負論理と見なされ、 0項と見なされるため)、式のすべての項は 0 でなければなりません。したがって、単語 "最大項" !!
つまり、F(X,Y,Z) が 0 になるには、 各項(X+Y+Z)、(X+Y'+Z)、(X+Y'+Z') および (X'+Y) '+Z) は " 0 "に等しい必要があります。そうでない場合、F はゼロになりません!!
したがって、POS 式の各項はMAXTERM (すべての項の最大値!)と呼ばれます。これは、F がゼロになるためにはすべての項がゼロでなければならないのに対し、POS の項のいずれかが 1 であると F が 1 になるためです。したがって、MINTERM (最小 1 項!)として知られています。
ここで、別の方法を考えてみます。
積は最小充足可能性を持つため最小項と呼ばれ、実際に興味深いすべてのブール関数の中で最大充足可能性を持つ和は最大充足可能性を持つためマックスタームと呼ばれます。
それらは、任意のブール関数のさまざまな正規表現の構成要素として使用されるため、用語と呼ばれます。
詳細:
「0」と「1」は自明なブール関数であることに注意してください。一連のブール変数x1,x2,...,xk
と非自明なブール関数を仮定しますf(x1,x2,...,xk)
。
慣習的に、入力は、その入力に対しての値を保持するときはいつでも、ブール関数を満たすと言われます。f
f
1
正確に2^k
可能な入力があり、重要なブール関数は最小 1 入力から最大入力まで満たす2^k -1
ことができることに注意してください。
ここで、関心のある 2 つの単純なブール関数を考えてみましょう: すべての変数の合計Sと、すべての変数の積P (変数は補数として表示される場合と表示されない場合があります)。Sはmaxtermと呼ばれる最大充足可能性を持つブール関数の 1 つであり、Pは最小充足可能性を持つブール関数であるため、 mintermと呼ばれます。