邏輯代數律

基於“古代”電子計算機的現代計算機作為基本工作原理是基於某些假設。 它們被稱為邏輯代數定律。 古希臘學者亞里士多德首次描述了這樣一個紀律（當然不如現代形式那麼詳細）。

代表一個單獨的數學部分，其中研究了命題的演算，邏輯的代數有許多明確的結論和結論。

為了更好地理解這個話題，我們將分析有助於學習未來邏輯代數定律的概念。

也許正在研究的學科的主要術語是一個陳述。 這是一個不能是假和真的聲明。 他只是其中一個特徵。 通常接受將真值分配給1，虛假為0，而句子本身稱為 拉丁字母： A，B，C.換句話說，公式A = 1表示A為真。 通過聲明，您可以採取多種方式行事。 簡單來說，我們會考慮可以採取的行動。 我們還注意到，在不了解這些規則的情況下，邏輯代數的定律是無法學習的。

兩個語句的分離是操作“或”的結果。 它可以是假的或者是真的。 使用符號“v”。

2.連接。 這樣一個動作的結果，用兩個語句執行，將是一個新的語句，只有在兩個初始語句都為真時才是真實的。 使用操作“和”，符號“^”。

含義。 操作“如果A，然後B”。 結果是一個語句，只有當A為真，F為false時為false，則使用“ - >”字符。

相等 操作“A只有當B，何時”。 在兩個變量具有相同估計值的情況下，這一說法是真實的。 使用符號“< - >”。

還有一些操作接近暗示，但在本文中將不會被考慮。

現在讓我們詳細考慮邏輯代數的基本規律：

1.交換或可重新定位的狀態是，對結果的連接或分離操作中的邏輯術語的位置的改變不會影響。

關聯或關聯。 根據這一定律，連接或分離的變量可以分組在一起。

分配或分配。 法律的本質是方程式中的相同變量可以從括號中取出，而不改變邏輯。

德摩根定律（反轉或否定）。 拒絕連接操作等同於消除原始變量的否定。 反之，反對的否定等於相同變量的否定的結合。

雙重否定。 否定某種話語兩次，因此最初的陳述是其否認的三倍。

冪等冪律似乎是邏輯加法：xvxvxvx = x; 對於乘法：x ^ x ^ x ^ = x。

7.不矛盾的法則說：兩個言論如果矛盾，不能同時存在。

8.排除第三名的法律。 在兩個矛盾的言論中，一個總是真的，另一個是假的，第三個是不給的。

吸收定律可以以這種方式寫入邏輯加法：xv（x ^ y）= x，用於乘法：x ^（xvy）= x。

10.膠合法。 兩個相鄰的連接能夠粘合在一起，形成較小等級的連接。 在這種情況下，根據原始連詞粘合的變量消失。 邏輯加法示例：

（X ^ y）v（-x ^ y）= y。

我們只考慮了最常用的邏輯代數律，實際上可以是更多的邏輯方程，因為通常邏輯方程可以獲得長而豐富的外觀，可以通過應用一些類似的法則來減少。

通常，為了方便計數和識別結果，使用特殊表格。 邏輯代數的所有現有規律（其表具有網格矩形的共同結構）被繪製出來，將每個變量分配到單獨的單元格中。 方程越大，使用表格越容易處理。