3--代数系统之格和布尔代数--beamer.pdf

浠ｆ暟绯荤粺涔嬫牸鍜孊oole 浠ｆ暟 闊╁弬 鍙 閲 寮€璇惧崟浣岤 鏌愭煇澶у鏁板涓庣粺璁″闄 鎵嬫満鍙风爜: +1234567654321 鐢靛瓙閭欢: 鏌愭煇澶у閭 闊╁弬鍙橀噺 (鏌愭煇澶у) 浠ｆ暟绯荤粺涔嬫牸鍜 Boole 浠ｆ暟 1 / 21 S6.1: 鏍肩殑姒傚康 Definition 1 (鏍肩殑绗竴瀹氫箟) 璁 鉄按, 鉄 鏄竴涓亸搴忛泦, 鑻ロ按 涓换鎰忎袱涓厓绱犻兘鏈変笂鐣屽拰鏈€澶т笅 鐣? 鍒欑О 鉄按, 鉄 涓烘牸. Definition 2 璁 鉄按, 鉄 鏄竴涓牸, 鑻ュ湪戆 涓婂畾涔変袱涓簩鍏冭繍绠 鈭 鍜屸埀, 浣垮緱瀵逛簬 浠绘剰鐨勴睅, 肀 鈭 戆? 肀 鈭 肀 绛変簬 肀 鍜岉睆 鐨勬渶灏忎笂鐣? 肀 鈭 肀 绛変簬 肀 鍜岉睆 鐨 鏈€澶т笅鐣? 鍒欑О 鉄按, 鈭? 鈭р煩 涓烘牸 鉄按, 鉄 璇卞鐨勪唬鏁扮郴缁? 浜屽厓杩愮畻 鈭 鍜屸埀 鍒嗗埆绉颁负骞惰繍绠楀拰浜よ繍绠? 闊╁弬鍙橀噺 (鏌愭煇澶у) 浠ｆ暟绯荤粺涔嬫牸鍜 Boole 浠ｆ暟 2 / 21 瀛愭牸 Definition 3 璁锯煥戆? 鉄 鏄竴涓牸, 鍏惰瀵肩殑浠ｆ暟绯荤粺涓 鉄按, 鈭? 鈭р煩. 璁卷暗 鏄按 鐨勯潪 绌哄瓙闆? 鑻ロ按 涓殑涓や釜杩愮畻 鈭 鍜屸埀 鍏充簬 戆 鏄皝闂殑, 鍒欑О 鉄暗, 鉄 鏄 鉄按, 鉄 鐨勫瓙鏍? Example 4 璁 鉄眴, 鉄 鏄竴涓牸, 浠诲彇肀 鈭 肀 , 鏋勯€犿眴 鐨勫瓙闆 肀 涓 肀 = {肀 |肀 鈭 肀 涓 肀 肀巬. 璇 鏄 鉄眹, 鉄 鏄 鉄眴, 鉄 鐨勪竴涓瓙鏍? 闊╁弬鍙橀噺 (鏌愭煇澶у) 浠ｆ暟绯荤粺涔嬫牸鍜 Boole 浠ｆ暟 3 / 21 鏍肩殑鎬ц川 Theorem 5 鍦ㄤ竴涓牸 鉄按, 鉄 涓? 瀵逛换鎰忕殑肀? 肀 鈭 戆? 閮芥湁 肀 鈭 肀 肀 肀 鈭 肀 肀 鈭 肀 肀 肀 鈭 肀 Theorem 6 鍦ㄤ竴涓牸 鉄按, 鉄 涓? 瀵逛换鎰忕殑肀? 肀? 肀? 肀 鈭 戆? 鑻 肀 肀 鍜 肀 肀? 鍒 肀 鈭 肀 肀 鈭 肀 肀 鈭 肀 肀 鈭 肀 Corollary 7 (淇濆簭鎬? 鍦ㄤ竴涓牸 鉄按, 鉄 涓? 瀵逛换鎰忕殑肀? 肀? 肀 鈭 戆? 鑻 肀 肀? 鍒 肀 鈭 肀 肀 鈭 肀 肀 鈭 肀 肀 鈭 肀 闊╁弬鍙橀噺 (鏌愭煇澶у) 浠ｆ暟绯荤粺涔嬫牸鍜 Boole 浠ｆ暟 4 / 21 鏍肩殑鎬ц川 Theorem 8 璁 鉄按, 鉄 鏄竴涓牸, 鐢辨牸 鉄按, 鉄 鎵€璇卞鐨勪唬鏁扮郴缁熶负 鉄按, 鈭? 鈭р煩, 鍒欏浠绘剰 鐨勴睅, 肀? 肀? 肀 鈭 戆? 鏈 浜ゆ崲寰婜 肀 鈭 肀 = 肀 鈭 肀? 肀 鈭 肀 = 肀 鈭 肀 缁撳悎寰婜 肀 鈭 (肀 鈭 肀? = (肀 鈭 肀? 鈭 肀? 肀 鈭 (肀 鈭 肀? = (肀 鈭 肀? 鈭 肀 骞傜瓑寰婜 肀 鈭 肀 = 肀? 肀 鈭 肀 = 肀 缁撳悎寰婜 肀 鈭 (肀 鈭 肀? = 肀? 肀 鈭 (肀 鈭 肀? = 肀 闊╁弬鍙橀噺 (鏌愭煇澶у) 浠ｆ暟绯荤粺涔嬫牸鍜 Boole 浠ｆ暟