一个关于布尔代数的问题 布尔代数问题
\u5173\u4e8e\u5e03\u5c14\u4ee3\u6570\u7684\u4e00\u4e2a\u95ee\u9898\u554a\uff01\uff01\uff01\u9898\u76ee\u770b\u4e0d\u61c2\u7684\u8bf4~\u4ece\u542c\u89c9\u3001\u89c6\u89c9\u548c\u611f\u53d7\u7b49\u591a\u89d2\u5ea6\u5730\u63cf\u7ed8\u3002\u201c\u95fb\u6c34\u58f0\uff0c\u5982\u9e23\u4f69\u73af\uff0c\u5fc3\u4e50\u4e4b\u3002\u201d\u6b64\u6587\u5f00\u7b14\u5c31\u6709\u58f0\u6709\u611f\u3002\u672a\u89c1\u5176\u6f6d\uff0c\u5148\u95fb\u5176\u58f0\uff0c\u6e38\u5174\u88ab\u6fc0\u53d1\u4e86\u3002\u201c\u6c34\u5c24\u6e05\u6d0c\u201d\u201c\u9752\u6811\u7fe0\u8513\u201d\u201c\u65e5\u5149\u4e0b\u5f7b\uff0c\u5f71\u5e03\u77f3\u4e0a\u201d\u201c\u660e\u706d\u53ef\u89c1\u201d\uff0c\u666f\u7269\u7684\u8272\u5f69\u3001\u5149\u7ebf\u7684\u660e\u6697\u53d8\u5316\u771f\u5207\u800c\u6e05\u4e3d\u3002
\u5199\u666f\uff0c\u52a8\u9759\u4ea4\u9519\u3002\u58f0\uff0c\u662f\u52a8\u6001\u7684\uff0c\u77f3\uff0c\u662f\u9759\u6001\u7684\uff0c\u201c\u8499\u7edc\u6447\u7f00\uff0c\u53c2\u5dee\u62ab\u62c2\u201d\u53c8\u662f\u52a8\u6001\u7684\uff0c\u9c7c\u513f\u5ffd\u9759\u5ffd\u52a8\uff0c\u6eaa\u6c34\u82e5\u9759\u5b9e\u52a8\uff0c\u8fd9\u753b\u9762\u7ed9\u4eba\u4ee5\u5f88\u6df1\u7684\u611f\u77e5\u5ea6\u3002
\u5e03\u5c14\u4ee3\u6570\u8d77\u6e90\u4e8e\u6570\u5b66\u9886\u57df\uff0c\u662f\u4e00\u4e2a\u7528\u4e8e\u96c6\u5408\u8fd0\u7b97\u548c\u903b\u8f91\u8fd0\u7b97\u7684\u516c\u5f0f\uff1a\u3008B\uff0c\u2228\uff0c\u2227\uff0c¬\u3009\u3002\u5176\u4e2dB\u4e3a\u4e00\u4e2a\u975e\u7a7a\u96c6\u5408\uff0c\u2228\uff0c\u2227\u4e3a\u5b9a\u4e49\u5728B\u4e0a\u7684\u4e24\u4e2a\u4e8c\u5143\u8fd0\u7b97\uff0c¬\u4e3a\u5b9a\u4e49\u5728B\u4e0a\u7684\u4e00\u4e2a\u4e00\u5143\u8fd0\u7b97\u3002\u901a\u8fc7\u5e03\u5c14\u4ee3\u6570\u8fdb\u884c\u96c6\u5408\u8fd0\u7b97\u53ef\u4ee5\u83b7\u53d6\u5230\u4e0d\u540c\u96c6\u5408\u4e4b\u95f4\u7684\u4ea4\u96c6\u3001\u5e76\u96c6\u6216\u8865\u96c6\uff0c\u8fdb\u884c\u903b\u8f91\u8fd0\u7b97\u53ef\u4ee5\u5bf9\u4e0d\u540c\u96c6\u5408\u8fdb\u884c\u4e0e\u3001\u6216\u3001\u975e\u3002\u4e2d\u6587\u540d\uff1a\u5e03\u5c14\u4ee3\u6570\u53d1\u73b0\u8005\uff1aG.\u5e03\u5c14\u5206\u7c7b\uff1a\u6570\u5b66\u4e13\u6709\u540d\u8bcd\u5b66\u79d1\uff1a\u9ad8\u6570
布尔代数中的“1”和“0”不代表数字大小，而是1代表“真”，“成立”；0 代表“假”，“不成立”的意思。在布尔代数中的中“+”是或关系，也就是或者的关系，布尔代数中的“·”是与关系，也就是同时的关系。布尔代数是用于逻辑推理用的，不是数字计算，没有减法和除法。举几个例子甲乙两个人都可能说真话，也可能说假话。某个人说真话就记为1，说假话就记为0。丙直接向甲乙听取意见，丙听到了真话就记为1，听不到真话就记为0。这样只要甲乙其中至少1个人说真话，丙就能听到真话，用布尔算式“甲+乙=丙”来表示，这样按照布尔代数的计算法则就很好的表示了丙在什么情况下才能听到真话。
第二个例子，甲乙两个人都可能说真话，也可能说假话。某个人说真话就记为1，说假话就记为0。甲把话传给乙，乙再传给丙。丙听到了真话就记为1，听不到真话就记为0。这样只要甲乙其中有1个人说假话，丙就能听不到真话，用布尔算式“甲·乙=丙”来表示，样按照布尔代数的计算法则就很好的表示了丙在什么情况下才能听到真话。
二进制算术，与布尔代数，构成了计算机的基本计算能力，是一切其他计算的基础。
绛旓細甯冨皵浠ｆ暟涓殑鈥1鈥濆拰鈥0鈥濅笉浠ｈ〃鏁板瓧澶у皬锛岃屾槸1浠ｈ〃鈥滅湡鈥濓紝鈥滄垚绔嬧濓紱0 浠ｈ〃鈥滃亣鈥濓紝鈥滀笉鎴愮珛鈥濈殑鎰忔濄傚湪甯冨皵浠ｆ暟涓殑涓+鈥濇槸鎴栧叧绯伙紝涔熷氨鏄垨鑰呯殑鍏崇郴锛屽竷灏斾唬鏁颁腑鐨勨溌封濇槸涓庡叧绯伙紝涔熷氨鏄悓鏃剁殑鍏崇郴銆傚竷灏斾唬鏁版槸鐢ㄤ簬閫昏緫鎺ㄧ悊鐢ㄧ殑锛屼笉鏄暟瀛楄绠楋紝娌℃湁鍑忔硶鍜岄櫎娉曘備妇鍑犱釜渚嬪瓙鐢蹭箼涓や釜浜...
绛旓細棰樹富缁欏嚭鐨勯棶棰鏄甯冨皵浠ｆ暟涓墍鐙湁鐨勫惛鏀跺緥,鍏剁粨鏋滄槸A+ AB=A 杩欎釜缁撴灉鏄氳繃寮曠敤甯冨皵浠ｆ暟涓嫭鏈夌殑0\1寰嬪拰浠ｆ暟涓殑鍒嗛厤寰嬭瘉鏄庣殑.甯冨皵浠ｆ暟0\1寰嬩腑鏈夊洓涓叕寮:甯冨皵浠ｆ暟0\1寰 寮曠敤鍏紡4:1鍔犱笂浠讳綍甯冨皵鍙橀噺閮界瓑浜1,浠ｅ叆鍒扮涓椤,涔熷嵆鐢ˋ涔樹互姝ゅ叕寮 杩欐牱鎴戜滑寰楀埌涓涓绛夊紡:A+ AB=A(1+B)+AB ...
绛旓細鍙嶆涓鍏辨墠8涓, 鏈涓嶆祹涔熷彲浠ヤ笉鐢ㄤ换浣曞伐鍏风洿鎺ユ墜宸ョ畻涓閬, 寰堟樉鐒 A=C=1, B=0 鏄垎姝ф墍鍦, 绛旀鏄剧劧鏄敊鐨
绛旓細鍥犳锛岃嚦灏鏈変竴涓浜烘姇涓殑姒傜巼绛変簬1鍑忎笁涓汉鍏ㄦ病鏈夋姇涓殑姒傜巼锛屽嵆1-(1-p)^3銆傜敱姝ゅ彲鐭ワ紝鑷冲皯鏈変竴涓汉鎶曚腑鐨勬鐜囧缁堝ぇ浜0锛屽苟涓斿綋p鎺ヨ繎1鏃讹紝杩欎釜姒傜巼灏辨帴杩1锛岃鏄庤嚦灏戞湁涓涓汉鎶曚腑鐨勬儏鍐靛緢鏈夊彲鑳藉彂鐢熴
绛旓細涓嶈繃涓囧畻涓嶇鍏舵湰 鎴戝彂琛ㄤ竴涓嬫垜鐨勭悊瑙 甯冨皵浠ｆ暟涓寘鍚袱涓繍绠 涓涓鏄眰涓婄晫 涓涓槸姹備笅鐣屼竴鑸〃绀轰负鈭紝鈭 鍦ㄤ笂闈㈢殑鏁欐潗閲•浠ｈ〃姹傛渶澶т笅鐣 鐩稿綋浜庘埀 +浠ｈ〃姹傛渶灏忎笂鐣 鐩稿綋浜庘埁 a=a+0---a=a鍜0鐨勬渶灏忎笂鐣岋紙0鏄渶灏忓厓锛=a+(a•a(琛))---a涓婁竴妯〃绀鸿ˉ鍏 a&#...
绛旓細渚嬪锛屽湪闈㈣瘯鍦哄悎锛岄潰璇曞畼闂綘涓鍔犱竴绛変簬鍑狅紵浣犲綋鐒朵笉鑳借涓鍔犱竴绛変簬浜屼簡锛屼綘搴旇璇达紝鏈潵涓鍔犱竴鍦ㄦ暟瀛︾殑瑙掑害涓婁竴鍔犱竴绛変簬浜岋紝浣嗘槸鍦ㄤ粖澶╄繖涓潰璇曞満涓婏紝浣犺绛変簬鍑犲氨绛変簬鍑狅紝鐪嬩技绠鍗曠殑涓涓棶棰锛屽疄闄呬笂鍖呭惈鐫浣犵殑璇氭伋銆1+1闄ょ瓑浜2澶栵紝鍦ㄤ笉鍚岀殑鎯呭喌涓嬫湁涓嶅悓鐨勭瓟妗堬細1銆甯冨皵浠ｆ暟鏃躲1+1=1锛2...
绛旓細1+1闄ょ瓑浜2澶,鍦ㄤ笉鍚岀殑鎯呭喌涓嬫湁涓嶅悓鐨勭瓟妗堬細1銆佸湪浜岃繘鍒舵椂.1+1=10锛2銆甯冨皵浠ｆ暟鏃.1+1=1锛3銆佷綔涓轰唬琛ㄦ椂.濡傚摜寰峰反璧寽鎯筹紱4銆佸崟浣嶄笉鍚屾椂.濡1灏忔椂鍔1鍒嗙瓑浜61鍒嗭紱5銆佸湪鎬ヨ浆寮椂.濡1鍔1,绛旀鏄11锛6銆佺壒娈婃儏鍐典笅.濡涓涓鐢蜂汉鍔犱竴涓瓡濡囩瓑浜庝笁涓汉锛7銆佸疄闄呴渶瑕佹椂.濡備竴灏哄竷鍔犱竴鏂ょ背绛変簬...
绛旓細F=A(CD)'+BC+B'D+AB'+A'C+(BC)' = 1 F=A(CD)'+B'D+AB'+A'C+[(BC)'+BC]F=A(CD)'+B'D+AB'+A'C+1 F=1 鍑芥暟琛ㄨ揪寮忎腑涓ら」涔嬪拰锛欱C+(BC)' = 1锛屽叾浣欓」涓嶇敤绠楋紝鍑芥暟 : F = 1
绛旓細1+1闄ょ瓑浜2澶栵紝鍦ㄤ笉鍚岀殑鎯呭喌涓嬫湁涓嶅悓鐨勭瓟妗堬細1銆佸湪浜岃繘鍒舵椂銆1+1=10锛2銆甯冨皵浠ｆ暟鏃躲1+1=1锛3銆佷綔涓轰唬琛ㄦ椂銆傚鍝ュ痉宸磋但鐚滄兂锛4銆佸崟浣嶄笉鍚屾椂銆傚1灏忔椂鍔1鍒嗙瓑浜61鍒嗭紱5銆佸湪鎬ヨ浆寮椂銆傚1鍔1锛岀瓟妗堟槸11锛6銆佺壒娈婃儏鍐典笅銆傚涓涓鐢蜂汉鍔犱竴涓瓡濡囩瓑浜庝笁涓汉锛7銆佸疄闄呴渶瑕佹椂銆傚涓灏哄竷鍔...
绛旓細甯冨皵浠ｆ暟娌℃湁鍑忔硶銆傚竷灏斾唬鏁帮紝灏辨槸閫昏緫浠ｆ暟锛屾槸鑻卞浗鏁板瀹朵箶娌诲竷灏旓紙George Boole锛変簬1849骞村垱绔嬬殑銆傚竷灏斾唬鏁板熀鏈繍绠楀彧鏈夆滀笌鈥濄佲滄垨鈥濄佲滈潪鈥濅笁绉嶃備笌杩愮畻锛堥昏緫涓庛侀昏緫涔橈級鎴栬繍绠楋紙閫昏緫鎴栥侀昏緫鍔狅級闈炶繍绠楋紙鍙栧弽锛夎缁嗚锛歨ttp://eelab.sjtu.edu.cn/kejian/shudian/netpages/dig1_1.htm ...
