分配格




设(L,∨,∧){displaystyle (L,vee ,wedge )}(L, vee, wedge)是一个格，若对于任意的a,b,c∈L{displaystyle a,b,cin L}a, b, c in L有




a∧(b∨c)=(a∧b)∨(a∧c){displaystyle awedge (bvee c)=(awedge b)vee (awedge c)}{displaystyle awedge (bvee c)=(awedge b)vee (awedge c)}


a∨(b∧c)=(a∨b)∧(a∨c){displaystyle avee (bwedge c)=(avee b)wedge (avee c)}{displaystyle avee (bwedge c)=(avee b)wedge (avee c)}


则称L{displaystyle L}L为分配格。


上述两个等式互为对偶式，根据格的对偶原理，在证明一个格是分配格时只需证明其中任意一个等式即可。


设(L,∨,∧){displaystyle (L,vee ,wedge )}(L, vee, wedge)是一个格，L{displaystyle L}L为分配格当且仅当对于任意的a,b,c∈L{displaystyle a,b,cin L}a, b, c in L，若a∨b=a∨c{displaystyle avee b=avee c}{displaystyle avee b=avee c}且a∧b=a∧c{displaystyle awedge b=awedge c}{displaystyle awedge b=awedge c}，则b=c{displaystyle b=c}b=c。



参见



  • 格

  • 有补格

  • 有界格

  • 布尔代数








-

Popular posts from this blog

澳門輕軌系統

Image
本文或本章節是關於未來的公共运输建設或計划。 未有可靠来源的臆測內容可能會被移除，現時內容可能與竣工情況有所出入。 本文或本章節是關於澳門未來的建設或計畫 。 它可能包含推测的性质的信息，可能與竣工情況有所出入。 body.skin-minerva .mw-parser-output table.infobox caption{text-align:center} 澳門輕軌系統 葡萄牙語： Sistema de Metro Ligeiro de Macau 英语： Macau Light Rapid Transit System (Macau LRT System) 概覽 營運地區   澳門 服務類型 輕軌運輸 车站总数 氹仔線：11個 澳門半島線：10個 起訖站点 關閘 正線总数 3條 主要路線 海洋 - 氹仔碼頭 路線等級 輕軌 主要車站 蓮花口岸、 機場、氹仔碼頭 技術數據 路線長度 氹仔線：9.3公里 軌道標準 膠輪路軌系統 动力方式 第三軌供電 750V 車輛基地 計劃興建總數11個： 澳門半島6個，氹仔5個 运营信息 營運時期 氹仔線：預計於2019年 运营单位 港鐵（澳門）（2019年－2023年） 澳門輕軌股份有限公司（2023年後） 網站 http://www.git.gov.mo 路線圖 各期工程完成後的路線走向（模擬）圖 澳門輕軌系統（未來） 圖例 關閘 馬場北 馬場東 青洲 A區車廠 筷子基 新城A區01 紅街市
Read more

水泉澳邨

Image
水泉澳邨 //upload.wikimedia.org/wikipedia/commons/6/66/Shui_Chuen_O_Estate_Overview_2016.jpg 水泉澳邨航拍圖 房屋機構 香港房屋委員會 所屬地區 沙田區 屋邨類別 租住屋邨 入伙年份 2015年至2017年 樓宇座數 18 單位數目 11123 單位面積 151.23-397.73 呎（ft²） 住戶數目 10900 （截至2017年6月30日情況） 認可人口 28200 （截至2017年6月30日情況） 水泉澳邨內貌（2016年3月） 水泉澳邨 （ 英语： Shui Chuen O Estate ） [1] 是香港房屋委員會轄下的一個公共屋邨。全邨共分4期興建及管理，第1及2期樓宇由水泉澳邨辦事處管轄，第3及4期樓宇則由水泉澳邨辦事處分處管轄。項目編號為ST41，但已列入擴展市區配屋區內，位於香港新界沙田區水泉澳（沙田第52區）博泉街1號，已經興建18座樓高25至30層依山而建的住宅樓宇，共提供11,123個出租公屋單位，可容納人口逾29,000多人及水泉澳廣場，場內設有59個商舖及一個整體出租街市。水泉澳邨將設有行人天橋和升降機塔，接通博康邨和港鐵馬鞍山綫的沙田圍站；邨內亦設有公共交通交匯處及泊車位，方便居民出行。 整個項目於2015年4月至2017年3月分階段落成。整個項目由房屋署總建築師（1）負責總體設計；而詳細設計則拆細並以外判服務合約方式，第1及4期判給了周林建築師有限公司；第2A期（明泉樓、社會福利大樓、巴士總站、天橋及商場）及第3期（茂泉、林泉、修泉及竹泉樓）判給了興業建築師事務所有限公司及第2B期（月泉及映泉樓）判給了李景勳、雷煥庭建築師事務所；而第2C期（城泉及河泉樓）則由房屋署自行負責細部設計。全邨的總承建商是中國建築工程（香港）有限公司。 水泉澳邨共有18座出租公屋大樓，共分4期興建，第1期於2015年4月至7月底分2個階段完工，第2期在2016年3月至11月底分4個階段完工，第3期已於2017年2月完工交樓，第4期的嶺泉樓早已於2016年8月完工入伙，而餘下的崇泉、山泉及峻泉樓則由20
Read more

Indian Forest Service

Image
Indian Forest Service Service Overview Preceding service Imperial Forest Service (1864 to 1935) Year of Constitution 1966 Country India Staff College Indira Gandhi National Forest Academy (IGNFA), Dehradun, Uttarakhand Cadre Controlling Authority Ministry of Environment, Forests and Climate Change Legal personality Governmental: Government service General nature Administration of Forest and Wildlife resources Cadre strength 3131 (2182 Direct Recruits and 949 Promotion Posts) Website ifs.nic.in Service Chief Director General of Forests Siddhanth Das, IFS (1982 Batch, Odisha Cadre) [1] Head of the All India Civil Services Cabinet Secretary Pradeep Kumar Sinha, IAS Indian Forest Service (भारतीय वन सेवा) [2] is one of the three All India Services of the Government of India. The other two All India Services being the Indian Administrative Service (IAS) and the Indian Police Service (IPS). [3] [4] [5] It was constituted in
Read more