"古代の"電子コンピュータは、仕事の基本原則として、一定の仮定に基づいています。彼らは論理の代数の法則と呼ばれています。古代ギリシャの学者であるアリストテレス（Aristotle）によると、このような規律は初めて（現代的な形では詳細ではなく）記述された。
命題の計算が研究される数学の別のセクションを表すと、論理の代数はいくつかの明確に構成された結論と結論を持っています。
トピックをよりよく理解するために、論理の代数の法則を将来学ぶのに役立つ概念を分析します。
おそらく規律の主な用語 - 言っている。これは、偽でも真実でもない陳述です。彼はいつもこれらの特徴のうちの1つのみによって特徴付けられる。 A、B、Cと呼ばれる文そのものを1に代入することは慣習的に受け入れられています。つまり、A = 1という式はAが真であることを意味します。ステートメントでは、さまざまな方法で行動することができます。要約すると、我々は彼らと一緒に取ることができる行動を見ていきます。また、論理の代数の法則は、これらの規則を知らなくても学ぶことができないことにも注意してください。
1.ディスジャンクション 2つのステートメント - 操作の結果 "または"。それは偽か真であることができます。記号「v」が使用される。
2.結合する。 2つのステートメントで実行されたそのようなアクションの結果は、新しいステートメントになります。操作 "と"、記号 "^"が使用されます。
3.含意。 操作 "if A、then B"です。結果は、Aが真、Fが偽の場合にのみ偽となるステートメントであり、 " - >"文字が使用されます。
同値。 オペレーション "AならばBならば、いつ"。このステートメントは、両方の変数が同じ見積もりを持つ場合に当てはまります。記号 "< - >"が使用されます。
この意味合いに近い多くの操作もありますが、この記事では考慮しません。
さて、論理の代数の基本法則を詳しく考えてみましょう。
1.交換または離散の操作における論理的用語の場所の変更が結果に影響を及ぼさないとの可換または移転の状態。
2.連想または連想。この法則によれば、連合または分離操作の変数はグループ化することができます。
3.分散型または分散型。法則の本質は、ロジックを変更することなく、方程式の同じ変数を角カッコから取り出すことができることです。
デ・モルガンの法則（反転または否定）。連結演算の否定は、元の変数の否定を分離することと同等である。論理和からの否定は、同じ変数の否定の論理積と等しい。
5.二重否定。特定の発話を2回否定すると、結果として最初の発声が3回否定されます。
6.冪等の法則は論理的な加算のために次のように見える：x v x v x v x = x;乗算の場合：x ^ x ^ x ^ = x。
7.非矛盾の法則によれば、2つの陳述は、矛盾する場合、同時に真実であることはできません。
第3の除外の法律。 2つの相反する声明のうち、一方は常に真、他方は偽、三番目は与えられない。
吸収の法則は、論理積のために以下のように書くことができる。x v（x v y）= x乗算の場合：x ^（x v y）= x。
10.接着の法則。隣接する2つの接続部は、互いに接着することができ、より小さなランクの接続部を形成する。さらに、元の連結詞が貼り付けられた変数は消えます。論理追加の例：
（x ^ y）v（-x ^ y）= yとなる。
最も一般的に使用されている法律多くの場合、論理式は同様の法律の数を適用することによって切断することができる長く華やかな外観となっているように、実際には、より多くのことができる論理の代数。
原則として、カウントおよび識別の便宜のために特別なテーブルが使用されます。グリッド矩形の一般的な構造を持つテーブルのロジックの代数の既存の法則はすべて塗りつぶされ、各変数が別のセルに分配されます。方程式が大きくなればなるほど、テーブルを使って対処するのが簡単になります。
