1.分配率：
a(b+c) = ab + ac
a+bc = (a+b)(a+c)
a + ab = a
a(a + b) = a
a + a'b = a + b
ab + a'c + bc = ab + a'c
解釋：當在兩項中分別出現變數 x和 x』時，其他的項都可以消去
證明：
ab + a'c +bc
= ab + a'c + bc(a + a')
= ab + a'c + abc + a'bc
= ab + a'c
1.a * 1 = a
2.a + 0 = a
我們一般使用如此的手段去對乙個式子處理
（本題中因為前兩項有 a 和 a』 的存在，所以我們選擇再給第三項乘(a + a』)）
ab + a』c 是乙個選擇器，a = 1時，選擇b ，否則選擇c
4.a(ab)' = ab'
a'(ab)' = a'
證明:
a(ab)' = a(a' + b') = ab'
a'(ab)' = a'(a' + b') =a' +a'b = a'
沒什麼好說的，就是以乙個變數去代替另外乙個或者 一組變數，等式不變
關鍵是：可以用過乙個變數代替多個變數的組合
對於(a +b+c)'，令d = b+c
所以 原式等於 = (a+d)' = a' + d'
又 d' = (b+c)' = b'+c'
所以得到：(a+b+c)' = a'+b'+c'
1.'與' 和 '或' 互換
2. 0 和 1 互換
3. 變數取反
這樣得到的式子等號任然成立
1.必須保證按照原式的順序（與的優先順序 大於 或的優先順序-----人為規定）、
2.變數取反只針對單變數（對於一組變數的組合取反這種情況不需要取反）
對於上面說的變數取反只針對單變數，現在考慮有兩種處理辦法
1.按照規則，對於一組變數整體取反的情況，不取反，對裡面的變數組合，按照規則繼續處理
2.運用代入定理，把一組變數的組合看成乙個變數，這樣就可以把取反符號去掉，同時裡面的變數組合保持
1.y = a(b+c)+c'd ==> y' = (a'+ b'c')(c+d')
2.y = [(a'b)' +c +d]' +c ⇒ 採用上面說的對變數集合的取反的兩種處理辦法
a. y' = [(ab')' c' d']' c' = (a'+b+c'+d')'c' = c'(a+b'+c'+d')按規矩不去掉整體的非，
對裡面單個處理
b. y' = [(a'b)' +c+d]c' = (a+b' +c+d)c' 裡面整個看做乙個變數，去掉外面的非，
裡面不變
3. f = [a +b +(c+d)']' (x'+y') ⇒ 在練習一下上面的這兩種方法
a.f' = [a'b' (c'd')' ]' +(xy) = (a'b'(c+d))'+(xy) = a +b+c'd'+xy
b.f' = (a+b+(c+d)')+xy = a+b+c'+d'+xy
1.'與' 和 '或' 互換
2. 0 和 1 互換
3. 變數不變
得到的對偶式，如果兩個式子的對偶式相同，則他們也相等
y = a+ bc ⇒ yd = a(b +c)
y = (a+b)(a+c) ==> yd = ab+ac =a(b+c)
所以上述兩式相等
1.真值表：把每個變數對應的0 1 都列出來，並計算出對應值
2.邏輯函式式：用符號表示運算，寫出表示式
3.邏輯圖：把運算用符號代表，畫出圖
4.波形圖：與真值表一樣，每一列代表真值表的一行，用波形表示01值
表達形式之間的轉化：
1.真值表 ==> 函式式
a.考慮所有能讓結果為 1 的情況，用'或' 連線
b.考慮每一種讓結果為 1 的情況 ，用'與' 連線每乙個變數
2 數電復刻 之 碼制和邏輯運算
一 有權碼 每一位的數值固定 1.bcd碼 8421 從0000 1001 代表了0 9 這幾位數 2.2421 5211 二 無權碼 每一位的值不固定 1.餘三碼 8421碼的基礎上加3 例如，0 0011 1 0100 好處 當兩數之和為10的時候，餘三碼的和為16，會進製 2.迴圈碼 格雷碼 ...
Excel常用公式 邏輯運算類
功能 使用邏輯函式 if 函式時，如果條件為真，該函式將返回乙個值 如果條件為假，函式將返回另乙個值。語法 if logical test,value if true,value if false 1.logical test 必需，要測試的條件。2.value if true 必需，logical...
NOIP初賽 之 邏輯運算
noip初賽 之邏輯運算 邏輯運算先掌握各種運算，注意運算子的級別比較，做題是要細心。在noip中一般一題，分值為1.5分。概念介紹 非 not 與 and 或 or 異或 xor 運算級比較 括號 非 與 或 異或 or和xor是同級的 如果加入加減乘除，就是以下這樣 注意 同級的運算子不分高低，...