論理式の真理値表を作成します。 問題解決の例
真理値表は、論理関数を説明する表です。 ここでいう論理関数とは、変数の値や関数自体の値が真理を表す関数のことです。 たとえば、「true」または「false」(true または false、1 または 0)の値を取ります。
真理値表は、ステートメントを構成するステートメントの真理値の考えられるすべてのケースについてステートメントの意味を判断するために使用されます。 テーブル内のすべての既存の組み合わせの数は、式 N=2*n によって求められます。 ここで、N は可能な組み合わせの総数、n は入力変数の数です。 真理値表は、デジタル エンジニアリングやブール代数で論理回路の動作を記述するためによく使用されます。
基本関数の真理値表
例: 接続詞 - 1&0=0、含意 - 1→0=0。
論理演算の順序
反転; 接続詞; 論理和; 含意; 等価; シェーファー脳卒中。 ピアースの矢。
真理値表を構築 (コンパイル) するシーケンスは次のとおりです。
- 論理式で使用される変数の数 N を決定します。
- テーブル内の行数に等しい、変数値の可能なセットの数 M = 2 N を計算します。
- 論理式内の論理演算の数を数え、テーブル内の列の数を決定します。これは、変数の数に論理演算の数を加えたものに等しくなります。
- テーブルの列に変数の名前と論理演算の名前を付けます。
- 論理変数列に一連の値を入力します。たとえば、変数が 4 つの場合は、0000 から 1111 まで 0001 ずつ増分します。
- 真理値表に、中間演算の値を左から右に列ごとに入力します。
- 関数 F の最終値の列を入力します。
したがって、真理値表を自分でコンパイル (構築) することができます。
オンラインで真理値表を作成する
入力フィールドに入力し、「OK」をクリックします。 T - 真、F - 偽。 ページをブックマークするか、ソーシャル ネットワークに保存することをお勧めします。
指定
- ラテンアルファベットの大文字のセットまたは式: A、B、C、D...
- A" - 素数 - セットの補数
- && - 接続詞 (「および」)
- || - 論理和 (「または」)
- ! - 否定 (例: !A)
- \cap - 集合の共通部分 \cap
- \cup - 集合の和集合(加算) \cup
- A&!B - セット差 A∖B=A-B
- A=>B - 暗黙の「もし...ならば」
- AB - 同等
デジタル回路では、デジタル信号は、論理「1」と論理「0」としてみなされる 2 つの値を取ることができる信号です。
論理回路には最大 1 億個の入力を含めることができ、そのような巨大な回路が存在します。 このような回路のブール関数 (方程式) が失われたと想像してください。 最小限の時間ロスでエラーなく復元するにはどうすればよいでしょうか? 最も生産的な方法は、図を階層に分割することです。 この方法では、前の層の各要素の出力関数が記録され、次の層の対応する入力に置き換えられます。 今日は、論理回路を分析するこの方法を、そのすべてのニュアンスを含めて検討します。
論理回路は、「NOT」、「AND」、「OR」、「AND-NOT」、「OR-NOT」、「XOR」、「等価性」という論理要素を使用して実装されます。 最初の 3 つの論理要素を使用すると、どんなに複雑な論理関数でもブールベースで実装できます。 ブールベースで精密に実装された論理回路の問題を解きます。
論理要素を指定するためにいくつかの規格が使用されます。 最も一般的なのは、アメリカ (ANSI)、ヨーロッパ (DIN)、国際 (IEC)、ロシア (GOST) です。 以下の図は、これらの標準における論理要素の指定を示しています (拡大するには、マウスの左ボタンで図をクリックします)。
このレッスンでは、GOST 規格で論理要素が指定されている論理回路に関する問題を解きます。
論理回路の問題には、論理回路を合成するタスクと論理回路を解析するタスクの2種類があります。 この順序で論理回路の読み方をすぐに学ぶことができるため、2 番目のタイプのタスクから始めます。
ほとんどの場合、論理回路の構築に関連して、論理代数の関数が考慮されます。
- 3 つの変数 (分析問題と 1 つの合成問題で考慮されます)。
- 4 つの変数 (合成問題、つまり最後の 2 つの段落)。
論理回路の構築(合成)を考えてみましょう
- ブール基準では、「AND」、「OR」、「NOT」(最後から 2 番目の段落)。
- また、共通のベース「AND-NOT」と「OR-NOT」(最後の段落)でも同様です。
論理回路解析問題
分析のタスクは機能を決定することです f、所定の論理回路によって実装されます。 このような問題を解決するときは、次の一連のアクションに従うと便利です。
- 論理図は複数の層に分割されています。 階層には連続番号が割り当てられます。
- 各論理要素の出力は、デジタル インデックスを備えた目的の関数の名前によって指定されます。最初の桁は層番号、残りの桁は層内の要素のシリアル番号です。
- 要素ごとに、その出力関数と入力変数を接続する分析式が記述されます。 式は、指定された論理要素によって実装される論理関数によって決定されます。
- いくつかの出力関数から他の出力関数への置換は、入力変数で表現されたブール関数が得られるまで実行されます。
例1.
![](https://i1.wp.com/function-x.ru/image/bool_26n04.jpg)
解決。 すでに図に示されているように、論理回路を層に分割します。 第 1 層から始めて、すべての関数を書き留めてみましょう。
バツ, y, z :
バツ | y | z | f | ||||
1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |
1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
例2。論理回路のブール関数を見つけて、論理回路の真理値表を作成します。
![](https://i0.wp.com/function-x.ru/image/bool_simple1.jpg)
例 3.論理回路のブール関数を見つけて、論理回路の真理値表を作成します。
![](https://i0.wp.com/function-x.ru/image/bool_home.jpg)
論理回路のブール関数を一緒に探し続けます
例4.論理回路のブール関数を見つけて、論理回路の真理値表を作成します。
![](https://i1.wp.com/function-x.ru/image/bool_26n06.jpg)
解決。 論理図を層に分割します。 第 1 層から始めて、すべての関数を書き留めてみましょう。
次に、入力変数を置き換えて、すべての関数を書き留めてみましょう。 バツ, y, z :
その結果、論理回路が出力で実装する関数が得られます。
.
この論理回路の真理値表は次のとおりです。
バツ | y | z | f | ||
1 | 1 | 1 | 0 | 1 | 1 |
1 | 1 | 0 | 0 | 1 | 1 |
1 | 0 | 1 | 1 | 0 | 1 |
1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 1 |
0 | 1 | 0 | 0 | 1 | 1 |
0 | 0 | 1 | 0 | 1 | 1 |
0 | 0 | 0 | 0 | 1 | 1 |
例5。論理回路のブール関数を見つけて、論理回路の真理値表を作成します。
![](https://i2.wp.com/function-x.ru/image/bool_26n07.jpg)
解決。 論理図を層に分割します。 この論理回路の構造は、前の例とは異なり、4 層ではなく 5 層になっています。ただし、1 つの入力変数 (最下位の変数) がすべての層を通過し、最初の層の論理要素に直接入力されます。 第 1 層から始めて、すべての関数を書き留めてみましょう。
次に、入力変数を置き換えて、すべての関数を書き留めてみましょう。 バツ, y, z :
その結果、論理回路が出力で実装する関数が得られます。
.
この論理回路の真理値表は次のとおりです。
バツ | y | z | f | ||
1 | 1 | 1 | 1 | 1 | 1 |
1 | 1 | 0 | 1 | 1 | 1 |
1 | 0 | 1 | 1 | 0 | 1 |
1 | 0 | 0 | 1 | 0 | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
0 | 1 | 0 | 1 | 1 | 1 |
0 | 0 | 1 | 1 | 0 | 1 |
0 | 0 | 0 | 1 | 0 | 1 |
ブール基底で論理回路を合成する問題
解析記述に従って論理回路を展開することを論理回路合成問題と呼びます。
各論理和 (論理和) は「OR」要素に対応し、その入力数は論理和内の変数の数によって決まります。 各論理積 (論理積) は「AND」要素に対応し、その入力数は論理積内の変数の数によって決まります。 各否定 (反転) は「NOT」要素に対応します。
論理設計は、多くの場合、論理回路が実装する必要がある論理機能を定義することから始まります。 この場合、論理回路の真理値表のみが与えられます。 まさにそのような例を分析します。つまり、上で説明した論理回路を分析する問題とはまったく逆の問題を解決します。
例6。与えられた真理値表を使用して関数を実装する論理回路を構築します。
入力データに対して何らかの論理演算を実行するように設計された電気回路は、論理要素と呼ばれます。 ここで、入力データはさまざまなレベルの電圧の形で表現され、出力における論理演算の結果も、あるレベルの電圧の形で得られます。
この場合、オペランドが供給され、高レベルまたは低レベル電圧の形式の信号が論理要素の入力で受信され、本質的に入力データとして機能します。 したがって、高レベル電圧 (論理 1) はオペランドの真の値を示し、低レベル電圧 0 (偽値) を示します。 1 - 真、0 - 偽。
ロジック要素- 入力信号と出力信号の間の特定の論理関係を実装する要素。 論理素子は通常、コンピュータの論理回路や個別の自動監視・制御回路を構築するために使用されます。 すべてのタイプの論理要素は、その物理的性質に関係なく、入力信号と出力信号の離散値によって特徴付けられます。
論理要素には 1 つ以上の入力と 1 つまたは 2 つの (通常は互いに反転した) 出力があります。 論理要素の出力信号の「0」と「1」の値は、要素が実行する論理機能と、それを担う入力信号の「0」と「1」の値によって決まります。独立変数の役割。 複雑な論理関数を構成できる基本的な論理関数があります。
要素回路の設計、その電気的パラメータに応じて、入力と出力の論理レベル(高電圧レベルと低電圧レベル)は、高状態と低状態(真と偽)で同じ値を持ちます。
従来、論理要素は特別な無線コンポーネント、つまり集積回路の形で製造されてきました。 論理積、論理和、否定、モジュロ加算 (AND、OR、NOT、XOR) などの論理演算は、主要なタイプの論理ゲートで実行される基本演算です。 次に、これらのタイプの論理要素をそれぞれ詳しく見てみましょう。
論理要素「AND」 - 論理積、論理積、AND
「AND」は、入力されたデータに対して論理積演算または論理積演算を実行する論理要素です。 この要素は 2 ~ 8 個の入力と 1 つの出力を持つことができます (実稼働環境で最も一般的なのは、2、3、4、および 8 個の入力を持つ「AND」要素です)。
入力数の異なる論理要素「AND」の記号を図に示します。 本文では、特定の数の入力を持つ論理要素「AND」は、「2I」、「4I」などとして指定されます。つまり、2 つの入力を持つ「AND」要素、4 つの入力を持つ「AND」要素などです。
要素 2I の真理表は、論理 1 が最初の入力で同時に 2 番目の入力で存在する場合にのみ、要素の出力が論理 1 になることを示しています。 残りの 3 つの可能なケースでは、出力はゼロになります。
西洋の図では、I 要素アイコンの入力には直線があり、出力には丸い線があります。 国内の図では、記号「&」が付いた長方形。
論理要素「OR」 - 論理和、論理和、OR
「OR」は、入力データに対して論理和演算または論理和演算を実行する論理要素です。 「I」要素と同様に、2 つ、3 つ、4 つなどの入力と 1 つの出力を使用できます。 入力数の異なる論理要素「OR」の記号を図に示します。 これらの要素は、2OR、3OR、4OR などのように指定されます。
「2OR」要素の真理値表は、論理 1 が出力に現れるには、論理 1 が最初の入力にある、または 2 番目の入力にあるだけで十分であることを示しています。 2 つの入力に同時に論理 1 がある場合、出力も 1 になります。
西洋の図では、「OR」要素アイコンには丸い入力と、丸い尖った出力があります。 国内の図には、記号「1」の付いた四角形があります。
論理要素「NOT」 - 否定、インバータ、NOT
「NOT」は入力データの論理否定演算を行う論理要素です。 この素子は出力が 1 つ、入力が 1 つだけあり、実際に入力信号を反転(反転)させるため、インバーターとも呼ばれます。 図は論理要素「NOT」の記号を示しています。
インバータの真理表は、高い入力電位が低い出力電位を生成し、その逆も同様であることを示しています。
西洋の図では、「NOT」要素アイコンは、出力に円が付いた三角形の形状をしています。 国内の図には、記号「1」の付いた長方形があり、出力には円が付いています。
論理素子「NAND」 - 論理積(論理積)と否定、NAND
「AND-NOT」は、入力データに対して論理和演算を実行し、その後論理否定演算を実行し、その結果を出力に送信する論理要素です。 言い換えれば、これは基本的に「AND」要素であり、「NOT」要素によって補完されます。 図は論理要素「2AND-NOT」の記号を示しています。
NAND ゲートの真理値表は、AND ゲートの真理値表の逆です。 3 つのゼロと 1 つの代わりに、3 つの 1 と 0 があります。 NAND 素子は、1913 年にその重要性に初めて注目した数学者ヘンリー モーリス シェーファーにちなんで「シェーファー素子」とも呼ばれます。 「I」として示され、出力にのみ円が付けられます。
論理要素「OR-NOT」 - 否定との論理和(論理和)、NOR
「OR-NOT」は、入力データに対して論理和演算を実行し、その後論理否定演算を実行し、その結果を出力に送信する論理要素です。 言い換えれば、これは「OR」要素に「NOT」要素、つまりインバータが補足されたものです。 図は論理要素「2OR-NOT」の記号を示しています。
OR ゲートの真理値表は、OR ゲートの真理値表の逆です。 高い出力電位は 1 つの場合にのみ得られます。低い電位が両方の入力に同時に適用されます。 これは「OR」として指定され、出力の丸印のみが反転を示します。
論理ゲート「排他的 OR」 - 加算法 2、XOR
「排他的論理和」は、入力データに対して 2 を法とする論理和演算を行う論理要素であり、2 つの入力と 1 つの出力を持ちます。 多くの場合、これらの要素は制御回路で使用されます。 図はこの元素の記号を示しています。
欧米の回路のイメージは、入力側に追加の湾曲したストリップを備えた「OR」のようなものですが、国内の回路では「OR」のようなもので、「1」の代わりに「=1」が書き込まれるだけです。
この論理要素は「不等価性」とも呼ばれます。 入力に信号が 2 つある場合でも、入力の信号が等しくない場合 (一方が 1、他方がゼロ、または一方がゼロで他方が 1) にのみ、出力に高電圧レベルが発生します。同時に出力はゼロになります。これが「OR」との違いです。 これらの論理要素は加算器で広く使用されています。
ステートメントから論理式を構成すること、「真理値表」の概念を定義すること、真理値表を構築するための一連の操作を学習すること、真理値表を構築することによって論理式の意味を見つけることを学びます。
レッスンの目標:
- 教育:
- ステートメントから論理式を作成する方法を学びます
- 「真理値表」の概念を導入する
- 真理値表を構築する一連のアクションを学習する
- 真理値表を作成して論理式の意味を見つける方法を学びます
- 論理式の等価性の概念を導入する
- 真理値表を使用して論理式の等価性を証明する方法を学びます
- 真理値表を構築することで、論理式の値を見つけるスキルを強化します。
- 教育:
- 論理的思考を養う
- 注意力を養う
- 記憶力を発達させる
- 生徒のスピーチを発展させる
- 教育:
- 教師やクラスメートの話を聞く能力を養う
- ノートの取り方の正確さを養う
- 規律を養う
授業中
開催時間
こんにちは皆さん。 引き続き論理の基礎を勉強していきます。今日の授業のテーマは「論理式の作成」です。 真理値表。」 このトピックを学習すると、ステートメントから論理形式がどのように作成されるか、および真理値表を編集してその真実性を判断する方法を学びます。
宿題の確認
宿題の問題の解決策を黒板に書き出す
他の皆さん、ノートを開いてください。私が行って、宿題のやり方を確認します。
もう一度論理演算をしてみましょう
論理積演算の結果として複合文が true になるのはどのような場合ですか?
論理積の演算の結果として形成される複合ステートメントは、それに含まれるすべての単純なステートメントが true である場合にのみ true になります。
論理和演算の結果、複合文が false になるのはどのような場合ですか?
論理和の演算の結果として形成された複合ステートメントは、それに含まれるすべての単純ステートメントが false の場合、false になります。
反転はステートメントにどのような影響を与えますか?
反転すると、真のステートメントは偽になり、逆に偽のステートメントは真になります。
含意については何と言えますか?
論理的結果 (含意) は、「if..., then...」という品詞を使用して 2 つのステートメントを 1 つに結合することによって形成されます。
指定された あ-> で
論理的結果 (含意) の操作を使用して形成された複合ステートメントは、真の前提 (最初のステートメント) から誤った結論 (2 番目のステートメント) が得られる場合に限り、偽となります。
論理等価演算については何と言えますか?
論理的等価性(等価性)は、「... 場合、および場合に限り...」、「... その場合、およびその場合に限り...」という品詞を使用して 2 つのステートメントを 1 つに結合することによって形成されます。
等価性の論理演算によって形成された複合ステートメントは、両方のステートメントが同時に false または true である場合にのみ true になります。
新素材の説明
さて、説明した内容を確認しました。新しいトピックに移りましょう。
最後のレッスンでは、受信論理変数の元の値を置き換えることによって複合ステートメントの値を見つけました。 そして今日は、単純なステートメントの初期値 (論理変数) のすべての可能な組み合わせについて、論理式の真偽を決定する真理値表を構築することが可能であり、その値を決定できることを学びます。元の論理変数を調べて、必要な結果を把握します。
前回のレッスンの例をもう一度見てみましょう。
この複合文の真理値表を作成します
真理値表を作成するときは、特定の一連のアクションがあります。 書き留めてみましょう
- 真理値表の行数を決定する必要があります。
- 行数 = 2 n (n は論理変数の数)
記録されました。 真理値表の構築
まず何をしましょうか?
テーブル内の列の数を決定する
どうやってこれを行うのでしょうか?
変数の数を数えます。 私たちの場合、論理関数は
2 つの変数が含まれています
どれの?
AとB
それでは、テーブルには何行あるでしょうか?
真理値表の行数は 4 でなければなりません。
変数が 3 つある場合はどうなるでしょうか?
行数 = 23 = 8
右。 次は何をするの?
列の数 = 論理変数の数 + 論理演算の数を決定します。
うちの場合はいくらくらいになるでしょうか?
この場合、変数の数は 2 で、論理演算の数は 5、つまり真理値表の列数は 7 です。
大丈夫。 さらに遠く?
指定された行数と列数でテーブルを作成し、列を指定して、元の論理変数の可能な値のセットをテーブルに入力し、列ごとに真理値表を記入します。
最初にどの操作を実行しますか? 括弧と優先順位にだけ注意してください
最初に論理否定を行うことも、最初の括弧内の値を最初に見つけてから、その逆数と 2 番目の括弧内の値を見つけてから、それらの括弧内の値を見つけることもできます。
┐Аv┐В |
(AvB)&(┐Av┐B) |
|||||
これで、任意の論理変数値のセットに対する論理関数の値を決定できるようになりました。
ここで「等価論理式」という項目を書き留めます。
真理値表の最後の列が一致する論理式が呼び出されます。 同等。同等の論理式を示すには、記号「=」が使用されます。
論理式 ┐ A& ┐ B と AvB が等しいことを証明しましょう。 まず論理式の真理値表を作成しましょう
テーブルには何列ありますか? 5
最初にどの操作を実行しますか? 反転A、反転B
┐A&┐B |
||||
次に、論理式 AvB の真理値表を作成しましょう。
テーブルには何行あるでしょうか? 4
テーブルには何列ありますか? 4
式全体の否定を見つける必要がある場合、この場合は論理和が優先されることは誰もが理解しています。 したがって、最初に論理和を実行し、次に反転を実行します。 さらに、ブール式 AvB を書き換えることもできます。 なぜなら 個々の変数ではなく、式全体の否定を見つける必要があります。その後、反転は括弧 ┐(AvB) から取り出すことができ、最初に括弧内の値を見つけることがわかります。
┐(平均) |
|||
テーブルを作りました。 次に、真理値表の最後の列の値を比較してみましょう。 結果として得られるのは最後の列です。 これらは一致するため、論理式は同等であり、それらの間に「=」記号を入れることができます。
問題解決
1.
この式には変数がいくつ含まれていますか? 3
テーブルには行と列が何行ありますか? 8と8
この例では、どのような一連の操作が行われるでしょうか? (反転、括弧内演算、括弧外演算)
Bv┐B (1) |
(1) =>┐C |
Av(Bv┐B=>┐C) |
|||||
2. 真理値表を使用して、次の論理式が等価であることを証明します。
(A → B) AND (Av┐B)
どのような結論が出るのでしょうか? これらの論理式は同等ではありません
宿題
真理値表を使用して論理式を証明する
┐A v ┐B と A&B は同等です
新素材の説明(続き)
私たちは数回のレッスンで「真理値表」の概念を続けて使用してきましたが、 真理値表とは何ですか、 あなたはどのように思いますか?
真理値表は、論理変数の可能な値のセットと関数値の間の対応関係を確立する表です。
宿題をどのように行い、結論は何でしたか?
式は同等です
前のレッスンでは、単純なステートメント 2*2=4 および 2*2=5 を変数 A および B に置き換えて、複合ステートメントから式を作成したことを思い出してください。
それでは、ステートメントから論理式を作成する方法を学びましょう
タスクを書き留める
次のステートメントを論理式の形式で記述します。
1) イワノフが健康で裕福であれば、彼は健康です
発言を分析してみましょう。 単純なステートメントの識別
A – イワノフは健康です
B – イワノフは金持ちです
さて、それでは式はどうなるでしょうか? ステートメントの意味を失わないように、式に括弧を入れることを忘れないでください。
2) 1 とそれ自体でのみ割り切れる数は素数です
A - その数値は 1 でのみ割り切れます
B - その数はそれ自体でのみ割り切れます
C - 数値は素数です
3) 4 で割り切れる数は 2 で割り切れます
A - 4で割り切れる
B - 2で割り切れる
4) 任意の数は 2 で割り切れるか、3 で割り切れます。
A - 2で割り切れる
B - 3で割り切れる
5) 競技者が対戦相手または審判に対して不適切な行動をした場合、および「ドーピング」を行った場合、選手は失格の対象となります。
A - アスリートは失格の対象となります
B - 対戦相手に対して不適切な行動をする
C - 裁判官に対して不適切な行動をする
D - 「ドーピング」を受けました。
問題解決
1. 式の真理値表を作成する
((p&q)→ (p→ r)) v p
テーブルには行と列が何行あるのかを説明しましょう。 (8 と 7) 一連の操作はどのようなものになりますか?またその理由は何ですか?
(p&q)→ (p→ r) |
((p&q)→ (p→ r)) v p |
|||||
最後の列を見て、入力パラメーターの任意のセットに対して式は真の値を取ると結論付けました。このような式はトートロジーと呼ばれます。 定義を書き留めてみましょう。
式に含まれる変数の値のセットがすべて同じ値「真」をとる場合、その式は論理の法則、またはトートロジーと呼ばれます。
そして、すべての値が偽である場合、そのような式について何が言えると思いますか?
その公式は不可能であると言えます
2. 次のステートメントを論理式の形式で記述します。
海港管理局は次の命令を出しました。
- 船長が特別な指示を受けた場合、船から出港しなければなりません
- マスターが特別な指示を受けない場合、ポートを離れてはなりません。そうしないと、以後そのポートにアクセスできなくなります。
- 船長はこの港へのアクセスを奪われているか、特別な指示を受けていません。
単純なステートメントを特定し、式を作成します
- A - 船長は特別な指示を受けます
- B - ポートを出る
- C - ポートへのアクセスが剥奪される
- ┐A→(┐BvC)
- Cv┐A
3. 複合文「(2*2=4 and 3*3 = 9) または (2*2≠4 and 3*3≠9)」を論理式の形式で書き留めます。 真理値表を作成します。
A=(2*2=4) B=(3*3=9)
(A&B) v (┐A&┐B)
┐A&┐B |
(A&B) v (┐A&┐B) |
|||||
宿題
not (not A および not (B および C)) と同じ真理値表を持つ複合ステートメントを選択します。
- A&B または C&A;
- (A または B) および (A または C);
- A および (B または C);
- A または (B または C ではありません)。
ベース: Lyudmila Leonidovna Bosova の教科書に基づく、2015 年のコンピュータ サイエンスの統一国家試験のデモ バージョン
前回のパート 1 では、論理演算の論理和と結合について説明しました。残っているのは、反転を分析して、統一国家試験のタスクを解くことだけです。
反転
反転- 各ステートメントを新しいステートメントに関連付ける論理演算。その意味は元のステートメントとは反対です。
反転を記述するには次の文字が使用されます: NOT、` ̄`、` ¬ `
反転は次の真理値表によって決定されます。
反転は、論理否定とも呼ばれます。
複雑なステートメントは次の形式で記述できます。 論理式— 論理変数、論理演算子記号、括弧を含む式。 論理式内の論理演算は、反転、論理積、論理和の順序で実行されます。 括弧を使用して演算の順序を変更できます。
論理演算には、反転、論理積、論理和の優先順位があります。
そして、私たちの前には、2015 年コンピューター サイエンスの統一国家試験のタスク No. 2 が待っています。
アレクサンドラは、式 F の真理値表を埋めていました。彼女が埋められたのは、表の小さな断片だけでした。
×1 ×2 ×3 ×4 ×5 ×6 ×7 x8 F 0 1 0 1 0 1 1 1 1 Fはどんな式で表現できるでしょうか?
問題の解決がはるかに簡単になるのは、複素式 F の各バージョンに論理演算が 1 つだけ (乗算または加算) しかないためです。 乗算の場合 /\ 少なくとも 1 つの変数がゼロに等しい場合、式 F 全体の値もゼロに等しくなければなりません。 また、加算 V の場合、少なくとも 1 つの変数が 1 に等しい場合、式 F 全体の値は 1 に等しくなければなりません。
式 F の 8 つの変数ごとに表にあるデータは、解くのに十分です。
式番号 1 を確認してみましょう。
- ? /\ 1 /\ ? /\ ? /\ ? /\ ? /\ ? /\ 0 )
- テーブルの 2 行目 x1=1, x4=0 から、F が可能であり、他のすべての変数が 1 に等しい場合は = 1 に等しくなり得ることがわかります (1 /\ ? /\ ? /\ 1 /\ ? /\ ? /\ ? /\ ? )
- テーブルの 3 行目 x4=1、x8=1 によると、F=0 であることがわかります (? /\ ? /\ ? /\ 0 /\ ? /\ ? /\ ? /\ 0 )、表では F=1 となっており、これは式 1 が私たちに適していることを意味します。 絶対に適さない.
式番号 2 を確認してみましょう。
- テーブルの最初の行 x2=0, x8=1 から、F が可能であり、他のすべての変数が 0 に等しい場合は = 0 に等しくなり得ることがわかります (? V 0 V ? V ? V ? V ? V ? V 0 )
- テーブルの 2 行目 x1=1, x4=0 から、F = 1 ( 1 V ? V ? V 1 V ? V ? V ? V ? )
- 表の 3 行目 x4=1、x8=1 によれば、残りの変数の少なくとも 1 つが 1 に等しい場合、F は可能であり、= 1 に等しくなり得ることがわかります ( ?
V ?
V ?
V 0
V ?
V ?
V ?
V 0
)
式番号 3 を確認してみましょう。
- テーブルの最初の行 x2=0, x8=1 から、F=0 であることがわかります (? /\ 0 /\ ? /\ ? /\ ? /\ ? /\ ? /\ 1 )
- テーブルの 2 行目 x1=1, x4=0 から、F =0 であることがわかります (0 /\ ? /\ ? /\ 0 /\ ? /\ ? /\ ? /\ ? )、表では F=1 となっており、これは式 3 が次のことを意味します。 絶対に適さない.
式番号 4 を確認してみましょう。
- テーブルの最初の行 x2=0、x8=1 から、F=1 であることがわかります ( ? V 1 V ? V ? V ? V ? V ? V 0 )、表では F=0 となっており、これは式 4 が次のことを意味します。 絶対に適さない.
統一州試験の課題を解決するときも、まったく同じことを行う必要があります。表内のデータに基づいて、明らかに不適切な選択肢を破棄します。 残りの可能な選択肢 (この例では、選択肢 2) が正解になります。