离散数学题：在布尔代数中证明x+(x·y)=x+y 大一离散数学证明对于P（x,y）任意x存在y为真的话存在x任...
\u5e03\u5c14\u4ee3\u6570\uff08X+Y\uff09\uff08\u975eX+Z\uff09\u600e\u4e48\u5316\u7b80\uff0c\u7b54\u6848\u662fxz+\u975ex y\u7528\u5206\u914d\u5f8b\u3002
\u539f\u5f0f=X\u975eX+xz+y\u975ex+yz
=xz+y\u975ex+xyz+\u975exyz
\uff1d(xz+xyz)+(y\u975ex+\u975exyz)
\uff1dxz+\u975exy
\u4e0d\u4e00\u5b9a\u4e3a\u771f\u3002\u539f\u56e0\uff1aVx E y(x+y= 0)\u5bf9\u4e8e\u6240\u6709\u7684x \u603b\u5b58\u5728\u4e00\u4e2a\u76f8\u53cd\u6570\u3002 \u4f46\u662f\u4e0d\u5b58\u5728\u4e00\u4e2ax\uff0c\u548c\u4efb\u610fy\u4e3a\u76f8\u53cd\u6570\u3002
\u547d\u9898\u7684\u5f62\u5f0f\uff1a
1\u3001\u5bf9\u4e8e\u4e24\u4e2a\u547d\u9898\uff0c\u5982\u679c\u4e00\u4e2a\u547d\u9898\u7684\u6761\u4ef6\u548c\u7ed3\u8bba\u5206\u522b\u662f\u53e6\u5916\u4e00\u4e2a\u547d\u9898\u7684\u7ed3\u8bba\u548c\u6761\u4ef6\uff0c\u90a3\u4e48\u8fd9\u4e24\u4e2a\u547d\u9898\u53eb\u505a\u4e92\u9006\u547d\u9898\uff0c\u5176\u4e2d\u4e00\u4e2a\u547d\u9898\u53eb\u505a\u539f\u547d\u9898\uff0c\u53e6\u5916\u4e00\u4e2a\u547d\u9898\u53eb\u505a\u539f\u547d\u9898\u7684\u9006\u547d\u9898\u3002
2\u3001\u5bf9\u4e8e\u4e24\u4e2a\u547d\u9898\uff0c\u5982\u679c\u4e00\u4e2a\u547d\u9898\u7684\u6761\u4ef6\u548c\u7ed3\u8bba\u5206\u522b\u662f\u53e6\u5916\u4e00\u4e2a\u547d\u9898\u7684\u6761\u4ef6\u7684\u5426\u5b9a\u548c\u7ed3\u8bba\u7684\u5426\u5b9a\uff0c\u90a3\u4e48\u8fd9\u4e24\u4e2a\u547d\u9898\u53eb\u505a\u4e92\u5426\u547d\u9898\uff0c\u5176\u4e2d\u4e00\u4e2a\u547d\u9898\u53eb\u505a\u539f\u547d\u9898\uff0c\u53e6\u5916\u4e00\u4e2a\u547d\u9898\u53eb\u505a\u539f\u547d\u9898\u7684\u5426\u547d\u9898\u3002
3\u3001\u5bf9\u4e8e\u4e24\u4e2a\u547d\u9898\uff0c\u5982\u679c\u4e00\u4e2a\u547d\u9898\u7684\u6761\u4ef6\u548c\u7ed3\u8bba\u5206\u522b\u662f\u53e6\u5916\u4e00\u4e2a\u547d\u9898\u7684\u7ed3\u8bba\u7684\u5426\u5b9a\u548c\u6761\u4ef6\u7684\u5426\u5b9a\uff0c\u90a3\u4e48\u8fd9\u4e24\u4e2a\u547d\u9898\u53eb\u505a\u4e92\u4e3a\u9006\u5426\u547d\u9898\uff0c\u5176\u4e2d\u4e00\u4e2a\u547d\u9898\u53eb\u505a\u539f\u547d\u9898\uff0c\u53e6\u5916\u4e00\u4e2a\u547d\u9898\u53eb\u505a\u539f\u547d\u9898\u7684\u9006\u5426\u547d\u9898\u3002
\u6269\u5c55\u8d44\u6599\uff1a
\u547d\u9898\u7684\u5206\u7c7b\uff1a
1\u3001\u539f\u547d\u9898\uff1a\u4e00\u4e2a\u547d\u9898\u7684\u672c\u8eab\u79f0\u4e4b\u4e3a\u539f\u547d\u9898\uff0c\u5982\uff1a\u82e5x>1\uff0c\u5219f\uff08x\uff09=(x-1)^2\u5355\u8c03\u9012\u589e\u3002
2\u3001\u9006\u547d\u9898\uff1a\u5c06\u539f\u547d\u9898\u7684\u6761\u4ef6\u548c\u7ed3\u8bba\u98a0\u5012\u7684\u65b0\u547d\u9898\uff0c\u5982\uff1a\u82e5f\uff08x\uff09=(x-1)^2\u5355\u8c03\u9012\u589e\uff0c\u5219x>1\u3002
3\u3001\u5426\u547d\u9898\uff1a\u5c06\u539f\u547d\u9898\u7684\u6761\u4ef6\u548c\u7ed3\u8bba\u5168\u5426\u5b9a\u7684\u65b0\u547d\u9898\uff0c\u4f46\u4e0d\u6539\u53d8\u6761\u4ef6\u548c\u7ed3\u8bba\u7684\u987a\u5e8f\uff0c\u5982\uff1a\u82e5x<=1\uff0c\u5219f\uff08x\uff09=(x-1)^2\u4e0d\u5355\u8c03\u9012\u589e\u3002
4\u3001\u9006\u5426\u547d\u9898\uff1a\u5c06\u539f\u547d\u9898\u7684\u6761\u4ef6\u548c\u7ed3\u8bba\u98a0\u5012\uff0c\u7136\u540e\u518d\u5c06\u6761\u4ef6\u548c\u7ed3\u8bba\u5168\u5426\u5b9a\u7684\u65b0\u547d\u9898\uff0c\u5982\uff1a\u82e5f\uff08x\uff09=(x-1)^2\u4e0d\u5355\u8c03\u9012\u589e\uff0c\u5219x<=1\u3002
\u53c2\u8003\u8d44\u6599\u6765\u6e90\uff1a\u767e\u5ea6\u767e\u79d1-\u547d\u9898
\u53c2\u8003\u8d44\u6599\u6765\u6e90\uff1a\u767e\u5ea6\u767e\u79d1-\u79bb\u6563\u6570\u5b66
=x*1+xy
=x(1+y)
=x*1
=x
绛旓細=x*1+xy =x(1+y)=x*1 =x
绛旓細渚嬮锛氳瘉鏄缇(Z, +)鏄竴涓棤闄愬惊鐜兢銆傝В绛旓細缇(Z, +)涓瓨鍦ㄤ竴涓厓绱燼锛屼娇寰椾换鎰忓厓绱x鍙互閫氳繃澶氭鍔燼寰楀埌锛屽嵆x = na锛屽叾涓璶涓烘暣鏁般傚洜姝わ紝缇(Z, +)鏄竴涓棤闄愬惊鐜兢銆傞昏緫涓甯冨皵浠ｆ暟 渚嬮锛氬寲绠甯冨皵琛ㄨ揪寮(A 鈭 B) 鈭 (A 鈭 ¬B) 鈭 (¬A 鈭 ¬B)銆傝В绛旓細鏍规嵁鍒...
绛旓細璇佹槑锛欱鈫扖⇔¬鈭 A鈯旴⇔(A-B)鈭(B-A) 鈶 鈭(A鈯旴)-C ((A-B)鈭(B-A)-C) 鏍规嵁鈶犲緱 ⇔(A-B-C)鈭(B-A-C) 鈶 C-(A鈯旴)⇔C-(A-B)鈭(B-A) 鏍规嵁鈶 ⇔C-(A-B)-(B-A)鈭(A鈫払)鈭(B鈫扖)⇔A鈫扖 ...
绛旓細瀛樺湪鐗规寚瑙勫垯锛歟xistential specification锛涚敤鏉ュ湪璇佹槑鏃讹紝闇瑕佹坊鍔犳垨鎽樺幓璋撹瘝閫昏緫鐨勬椂鍊橢.G锛氬湪璇佹槑鐨勬椂鍊欎綘闇瑕佹湁P锛圕锛夋垚绔嬫潵鎺ㄥ嚭Q锛圕锛夋垚绔嬫椂锛岃繖鏃跺欓璁炬潯浠跺彧鏈変换鎰弜 P(x)锛屽垯閲囩敤UI鏉ュ幓鎺夆濅换鎰忊滅鍙枫绂绘暎鏁板鈥濅腑鐨甯冨皵浠ｆ暟锛氬熀浜0銆1杩欎袱涓暣鏁帮紝鎴戜滑棰濆璧嬩簣瀹冧滑涓浜涙ц川涓庤繍绠楋紝姝ゆ儏鍐典笅...
绛旓細璇佹槑锛歜 = b 鈭 (b 鈭 c)= b 鈭 (a 鈭 c)= (b鈭╝) 鈭 (b鈭╟)= (b鈭╝) 鈭 (a 鈭╟ )= a 鈭 (b 鈭 c)= a 鈭 (a 鈭 c)= a
绛旓細璇佹槑鏂规硶1锛氬亣璁x鈭圓鈭(B鈭狢),鍒檟鈭圓涓攛鈭圔鈭狢,鍗硏鈭圓涓攛鈭圔鎴杧鈭圕.寰楀嚭x鈭圓涓攛鈭圔鎴栬厁鈭圓涓攛鈭圕銆倄鈭圓鈭〣鎴栬厁鈭圓鈭〤锛岃繖涓氨绛変环浜嗙瓑寮忓彸杈圭殑寮忓瓙浜嗐傝瘉鏄庢柟娉2锛氶泦鍚堢殑杩愮畻涓甯冨皵浠ｆ暟鐨閫昏緫杩愮畻锛屼互鍙婂懡棰樼殑閫昏緫杩愮畻鏈川涓婃槸涓鍥炰簨銆傚厓绱犲湪闆嗗悎閲屽彲浠ョ敤1琛ㄧず锛屼笉鍦ㄩ泦鍚堥噷鐢0琛ㄧず...
绛旓細R鍚簬R.S锛岃繖灏璇佹槑浜哠.R=R.S銆傜鏁ｆ暟瀛 鏄紶缁熺殑閫昏緫瀛︼紝闆嗗悎璁猴紙鍖呮嫭鍑芥暟锛夛紝鏁拌鍩虹锛岀畻娉曡璁★紝缁勫悎鍒嗘瀽锛岀鏁ｆ鐜囷紝鍏崇郴鐞嗚锛屽浘璁轰笌鏍戯紝鎶借薄浠ｆ暟锛堝寘鎷唬鏁扮郴缁燂紝缇ゃ佺幆銆佸煙绛夛級锛甯冨皵浠ｆ暟锛岃绠楁ā鍨嬶紙璇█涓庤嚜鍔ㄦ満锛夌瓑姹囬泦璧锋潵鐨勪竴闂ㄧ患鍚堝绉戙绂绘暎鏁板鐨搴旂敤閬嶅強鐜颁唬绉戝鎶鏈殑璇稿棰嗗煙銆
绛旓細鐢ㄧ粨鐐硅〃绀轰汉锛屼袱浜洪棿鏈夊叡鍚岃瑷鍒欑敤绾垮皢涓ょ粨鐐硅繛鎺 鈭垫瘡浜鸿嚦灏戜笌鍏朵綑7浜轰腑鐨4浜烘湁鍏卞悓璇█ 鈭存瘡涓粨鐐硅嚦灏戞湁4涓害 浠讳袱涓粨鐐归棿鐨勫害鏁颁箣鍜岃嚦灏戜负8 鎵浠ュ繀瀛樺湪鍝堝瘑灏旈】鍥炶矾 鎵浠ワ細鑳藉皢浠栦滑瀹夋帓鍦ㄥ悓涓寮犲渾妗屽氨鍧愶紝浣挎瘡涓汉閮借兘涓庝袱杈圭殑浜轰氦璋 绛旈涓嶆槗锛岃鍙婃椂閲囩撼锛岃阿璋紒
绛旓細浣夸箣璐┛浜庢暣涓鏁ｆ暟瀛︾殑澶嶄範杩囩▼涓 \x0d\x0a绂绘暎鏁板鐨勫畾涔変富瑕佸垎甯冨湪闆嗗悎璁虹殑鍏崇郴鍜屽嚱鏁伴儴鍒嗭紝杩樻湁浠ｆ暟绯荤粺鐨勭兢銆佺幆銆佸煙銆佹牸鍜甯冨皵浠ｆ暟涓銆備竴瀹氳寰堝ソ鍦拌瘑璁板拰鐞嗚В銆 \x0d\x0a2銆佹柟娉曟у己銆 \x0d\x0a绂绘暎鏁板鐨勮瘉鏄庨涓紝鏂规硶鎬ф槸闈炲父寮虹殑锛屽鏋滅煡閬撲竴閬撻鐢ㄦ庢牱鐨勬柟娉曡瘉鏄庯紝...
绛旓細1銆佷笁涓厓绱犵殑闆嗗悎A锛(a,b,c}鐨勫箓闆哖(A)锛漿绌洪泦锛寋a}锛寋b}锛寋c}锛寋a,b}锛寋a,c}锛寋b,c}锛孉}锛屽湪P(A)涓婂畾涔変簩涓簩鍏冭繍绠椻埄銆曗埅锛屼竴涓竴鍏冭繍绠楋綖锛堝氨鏄眰琛ラ泦锛夛紝鐢辨鏋勯犵殑浠ｆ暟绯荤粺鍗充负甯冨皵浠ｆ暟 2銆3涓厓绱0銆1銆2鐨勫伓缃崲鏋勬垚鐨勭兢鍗充负3娆′氦浠ｇ兢锛屽叾鍏冪礌鏄(1)銆(123)銆(...
