一、邏輯代數基本定律、公理
什么是公理，公理就是不需要證明就能成立的事實，邏輯代數公理主要說的是：邏輯常數“0”和“1”的基本運算規則，
在小學的時候，我們有學過一些關于加法和乘法的運算規律，那么同理這些運算規律在邏輯代數中也是能夠成立的，
如：加法交換率
套用在邏輯代數中，就變成了這樣：
1. 變數和常量的關系式
邏輯變數的取值只有0和1，根據三種基本運算的定義，可推得以下關系式
- 0-1律：任何一個邏輯變數和0相與結果都是0，任何一個邏輯變數和0相或結果都是1.
- 自等律：任何一個邏輯變數和1相與結果都是它的本身，任何一個邏輯變數和0相或結果都是它的本身.
- 重疊律：任何一個邏輯變數和它自身相與（相或）結果都是它的本身，
- 互補律：任何一個邏輯變數和它自身的反變數相與結果都是0，任何一個邏輯變數和它自身的反變數相或結果都是1，
2. 和普通代數相似的定律
- 交換律：兩個變數相與（相或），互換變數的位置，結果不變，跟小學的加法交換律和乘法交換律是一樣的，
- 結合律：三個數相與（相或），先與（或）前兩個數,或者先與（或）后兩個數，結果不變，跟小學的乘法交換律是一樣的，
- 分配率：
把兩個數 相或 的結果也就是B+C
最后和一個數 相與 A·（B+C）
產生的結果等于
最后一個數A跟BC分別 相與 A·B A·C，
分別相與的結果最后再 相或 A·B+A·C，
產生的結果是一樣的，
A·（B+C）=A·B+A·C
這個跟小學的乘法分配率是一樣的
那么反過來
把兩個數 相與 的結果也就是B·C
最后和一個數 相與 A+B·C
產生的結果等于
最后一個數A跟BC分別 相或 A+B A+C，
分別相與的結果最后再相或（A+B）·（A+C），
產生的結果是一樣的，
A+B·C=（A+B）·（A+C）
那么在邏輯代數中有著其他不同的基本定律
其中重要的是反演律，
3.常用的異或和同或運算公式
該公式可以通過異或和同或的真值表進行證明
二、定律的證明
方法1
要想證明兩個式子相等，在邏輯代數里最簡單的辦法就是羅列出所有的可能性，使用真值表的方式來證明，較為常用，
方法2
使用邏輯代數公理的方法來證明
三、邏輯代數三個重要規則
1、規則一，代入規則
代入規則：任何一個邏輯等式，如果將等式兩邊所出現的某一變數都代之以同一邏輯函式，則等式仍然成立，這個規則稱為代入規則，
該例子推匯出了代入規則，并將其化簡，
2、規則二，反演規則
例子
3、規則三，對偶規則
4、其他常用公式
1、合并律
2、吸收律
5、邏輯運算子的完備性
轉載請註明出處，本文鏈接：https://www.uj5u.com/qita/315936.html
標籤：其他
上一篇：React Native之新架構中的Turbo Module實作原理分析
下一篇：柔性微創手識訓器人性能實驗驗證