1 [©Shor that Cw AN) posture inte LAD ASB’ on SATE ES A@¢ .< b@a Dbec IS Lee L be lakty, fora aver - ML saksfies \east upper ID Show wat in (® Show wok in © Cammr@ JPM and meek, } SNe medulay Seger, PARTIAVA ORPERED SET Creseqy ~ SSDIET SRR) SET Lrose 7 Ip Ron—negatve wegey: Lulp /2ox O Dowthe Waase. dragon jew & P\=82eibyp,244 iy Fa M232 adh 2 re @ Xetion such seu et als Baw he Rosso. Sagram yepresentng . cho. PAal o aq 8a MOx\M|l yenTnyMal 1 Qeakest and (cack Clements of the © Show that wa, Valea is ae OIno. Askrbybwe. Saw and Wempccont laus, IB Show nat Rey Qon-em ply SBADEAE Of a latce beux in'a. distbuove, Latace, Fh. Complement nen ie we un) SNE Chow sO Latince « SONAR ter 27S Reb > ox bao © a@p = pire, FD Snow Anak ane awece Predack ob any tuo dstnbolva data SO Astrbaave latnee, @ BPs \same. 1s % Povally ordered sot vohove. Ne soko vs and ) A® Pogiertnas Demeggads laws howe alas gcatey! savy) * den oN ZL NINDS Mz a = _ -detrmatve- lattice al : Lis ma alm 20153 ID state and preva. Vemersns laws \ra. Complamented dreenbulve lance’, . © Mio a6ws £ Mis 2083 (DY Sy) ietne: seb all duisoys: of 42 Dis Ye ~wlaton Mawiser. 9f" on Sigs Prove thak £6,.,D} 1 >. Compiemented lavace. F LID 28)9) .. Ig Sy iste. sek. of all dw\'soy 5. of Ane. Podbve IWkegey NSD \s the Ydlabon ©f Sdmsion!, prove. tha & S20 iD}is @ \alnee . i Fimd also al ene. sublattices of CSs5,D) mat Gotarns & OF MYA alomants - \omomex phism . SEB eo Gente Belean Agebya and kA ba Eulphad the sek af aly abome of © “he prove thal the poctean Algelnal Fea) \WOnere. PEAY \3 ne. power sekop A. CMlshe] ID Pwre thot Dio, tre set Of all posiiue dwisers. Op & positwe Wneegex NOs O Bodean Agebroa Ayia Dll tks sun Alageba, Camry @ waves $1,243) aro = By and arpe ranc ab?» ASP Cay? sols BySNOrs hok Sse, ry 1,6% \Saq Boolean Algebra. Cate 16] Tam his} Arce © whew wat a Complemented dekenbulave. Jalaee 1s a-Boclean alge -hI{dI ® Ina Bodlean Mgera, PT Canst= oye) Cyipina wpina ID ST Me Demorgans Laws Wd I O. Boclean AlggevO+ \sa ST M2833 | CoNY) SREAG 5 Crean FENG | JD 3 any Beclean Agena, se all Vdtoso FE ab IMtpzei 4 ey \ a } IS ro any Booiean Agere PT ene Foloomng Stotement, axe equnalpit OO Arb=b daxped @alap =. Woepso talo ha © Ina Beclean Agere | ET onary =a abes Gaiolag @ Smpnfy the Bocean Scpression obec bac adibed Vsing Bootan Agebro \dentes Galolrs ®B x9 any Beciean AGO’ A - ST Candy Core) Cordd= ad Whoele iD). DrAlg Mn @ Show Anak o lelaca Komomorpnisin, ona pees a ee wich PYesermves O41) 1s a Boolean hy i |eSeNv ae — T Lamices. AND _BOOLEAN AME BRA, . SS SSS SERA EES 2 Relakon > ond Poser |Pextaally Ordered Sek sy lataies : > “Propenues of Lakes, PReflesewe Te labaces as Algelriaic System ree era : 5 © Fronsilbve > Lathes Yomemon phisin s Anhsyrmmaine | > Some Speaacl Lolinces, ++ Boolean Algebra lee Aon B be non empty sds. the sek_ of all vy¥deved Paws SP 506A ybeB As desea as Me Covvesian Product of ASE denoted by AXB tyes Taxa Rcaswp \AES {beng |. les arayay B=] Qwuic % then AB = evar, Qa, 5 £209 62,69 62,023 Yona = Lea, 64,29 .€0N9 C627, ces 1ES,2DY RELATION FROM Avo + BR |cawer Lee AGB be Hen-empey Bets. Avelalon R from AR Isa | Subse af AX > ReARB. | ORE > avs noe Yeloled b&b. OO QweR REaMN ON A e . 7 Avelanon Roem Aton \S Sard ko be Yeleoon on A. Some\e. 2 - TH ATR LY ond Re LOoy lee dwies ub R= Lena, aay eyay 2 |Bekesian Product of seks : ; POUND C222 16244, 23139 CaF PRoreetes. oF RELATIONS OWA. “SER be, a velabon one : OO REFUEWE + AER Is velexwe 1 aRa vaca pO Beemer ter as Symmetac AG whenever ab then Ra WRansmwe + SER 1S Cransioua \¢ wD AMS peta x Nov: Weneneney oR 4 bRe > oRe Th Ros SNBSIMAREAG LE Wnene OR ZvRaDSac(Tha. Yelahon -< 1s. Yebleave i We. Nelohon.Indosion! yn tha Gétechon, of tine Slosee> Of O- = DAWeisal Sek 1s. anlasymmekric: - : Hi) Les A pe me. ack APA “gaghe Wes mo plana Ane Yelabon )- RN xis Powel oN" 1s, veliexcive. DSyrmetcne & bransabwye + EOOVALEKCE: RELENON: KNelalnon Rona ack Ais coiled an equwatenca relation If Wels Veflenwve, isymmetkouc $ transibue. _ Eg | See oF Selina aR \oX % Wo poralid to ¥", PARAL: ORDER RELAOY: cPoRD i JA YelatnonR ona set A % called Raval over Yelabo if R ‘s YEADON, Ants Syren eon, and bonsiive. ; EONS) SY SaeinAGRION RECA. /ERAMPLE 2: ‘7 Lawndes> sea POR Konmdex ang Ssées. Aueie -- FRor lay Ge ane set of wernteger PREWE 2 Aska cas tefenwve, | aboez, LamayiSmet Aces e cas ace [EREE t oly Oo) S7ehexwe eis anedymmedic [-anmoimmene + b+ ble sb 1 ASBaBEC DASE pL SSaapogmemetng ee lbs big sale. TOS vs rans, 4 ¢ Gransthve , isis Wanstowe | bamnieny eRe, [PARAL Sense ser Oo PesET:. Asey Pp cogetnet UN a. partial oxa@ang R vacallea & POPET. EQ? 6S,55 isa Poser. Shove wat C2 /) is a ecseT: I BSE R= Scop fx dovseayy Bekleayt: Gla = | ex Ris Yeflexwe. AMSEC: Of 4 Pla SB s x Dbsax Sos bysoey ~ me | Low Ris anasymmetric De YE) Rass + %4, b oo 2 a= |; ip ‘eo a Bac >bsax 4 c=by 2a@yd | * a - | Vibe Ris Hanke c= Sexy J. CBI sh voset aa POSe Wa wo Parbally ogust Set here Wis ode ofall Ne mcegers deca by men Tyg Nem eo RON-N|gAENS WESGST VIS Bol: an yy =Sekoy all save meager j Reahomr= Liman Ce om a Regios) : PEN, eH EO IS NON NE NE DxRe VXEWD Ris vetiexw< hransymmatove: RY S2-eb INE EVA) NOE, “STEEP. wey Syke as AL, ph “ yRoe Aye lsnen -Gv eRe ; a B ERYe HY ts none] integer : RED Yoz rs Now Ne, nkeges seRy a 8 Ra 3 CX-Y? * 09-2) is non We mteger Do x-= ts nonwve mbegey D> =RS “SRV SYRo SS sche ence Ris transite . » Ris paral ovdey set. pus ie one pa ne ae — ache Re {ear cara] carer} solr can Fe Pp . en CARs also a poset. ° YES sek. See Pabally ower yglationensl RO cP 1s a. partally “Steal sek. A Be OwWerad ‘sek. PRehiewve: oa abtay ica veflexwe. , W Anhsymndie F ARE 3 bAL Sasb Gn: Risomusymmeme 3 aRp 2 bRaSa=b-—@® fab = bRta ond bRa Sagth SRIb Bb Ra SS ask Crom Ad RS ; pOTansitwe . ae wre as arte Gn- Ris transtave - APS 4 bRe Ake 2@ aRe a bra Zz Rep cep, “Sb gB oma eRe “RY 1s tronsitve Ris bansitne vankasymmeme 8 etlexwa “. ibd is apeset. GoubahaBie Pasrenny cam) = . Myo. -pesat for any 2 elements ayb other aeb or pea is ao Comparable. properky. oknertoise it te callecs wnlomparadid, Iecot Oppene Set Oa lwecam Osperey Ser Or Gun. caw A parmallyy gideread set CP, 4) 1s sad bo ba botally ordered Set oF chnenwly odeved set ox chan ig any 2 elemcdts are Comperrabie 1) Gn ony 2 elements x % § ofa poset athew Sy ov yak. Loma) Te asbare int then asda Scample Carp [LE BES eS Tears tp ab ie a4 tiga Tecral Order G5) vs totally oraared Fe wy aRb ig a] 1s née atotal oxdey | i con Gayrer, Hlements 233 father 2s Nes Me. [ie 262 ava] — OQ nok Coraparebiiey@ Messe pugram Com. - é al Representation sf a Pose is catlea Ross. Dad a Pap AS Tereey eoseT he) | wy Tha, elements of Ae. Au)o)¢ axa represantal bye] | Poser [Reunon C2), SP FE Asb Shera t= ne segment prom aod] eral i. ~~ asoS bec ie. Asbpes - A Thera 15 noe segment from AEE > Bokthere 1s a hneSegmend Porn axe and from: b toc _: i Dudes, ERTL [owaater tran axe WG) | Set Inclosiony PROBLEMS SASS. DA=Luawy o Che Ssual paj={ bah PAIS Lh, Ay by, CARDS READ =$h1 a3 bya yC OWE Snmeshatte. GuccessovS | Emmedrate. SucesseeS | CAE jb, DQ.) Car) ed} daa, dae, dab, a6 Casv> medabe Successors be cab Gea, fab, $66, AQ. S cay BASES PASEAD | uncce Dinceay ASCO) b> Ca) |HEHO Ach rom FECA) CS06,0 SADS CA1b,29 Co,-> & Cac} j “ écyay & cay b,c) ey - &S &y3 : iR Ld¥ — SEE Gon Dye 2B Lule, wanw 436% The mmediate. Successors : \se2 (tees precy recy eae, Bacq A ean, We eeia beele ,Qeeig ie ceases _ Mec Be fr ,42 Jlestanen ov eqsalle @ler va, denate the set of densors of 36. Dann the Wasse Diag Gor Pose Gel@® eta 84B bz 24 3Qy ste “relauon < lb braw the. Hasse diagram 36 Cae). Sel: PeGerer keys ag webp alv? % m Swmedioke S Secescoxs: ne ASS Se ccessor: BSSbi BSS 6) Sear eeay la Ke i > x a B AK, RG Leask Eiki a east tt 1 No Least Gil: No ost a yeatest ert: NO foreatest it No [Greatesr an Cieaestait rd Mnrmarsitt a frainrmal at 2a;b | Mumma) @xe 2 Lb ‘4 eiera |Marcmateit :b6a| Maxnnat elt faye | Marimal ett: a Moceitgal gt sd wo at RF 6 @elem = ra CTO 4 \ 3 ye 5 4 p<. Least + 4 Least ett 21 a ® Greatest ere: 24 lGyeokesr ele NN ee Be \ Mirwmareie: | [Minimal =| Nanna Ge 213 | Giallo QE ES Ceymna eit) 23 a : Reeern Nene) [Mazorna| Marimad et bE] Macmmay EUG ae Moceumod Gib + SEER Let (Ps) be a poset Then least git & Gveakest Ele, CARE LOB ave Ube | ID Fwd He GBs LoBPGans Me AP we9., PORna nacns <1oS 2) A=(aaLE ERA a * DAY i PR B= Sas) SB, Wot LB: Wa, QO fies. cube 4 - LB cad = 2 ‘ RJaveem se { a Be secw s 6 Uses = Fah WBpepS se wow? LBCay=-— LACE: | - + [[Alathce a a fomally eracred sek Cho: Fav eb clemenes aber least ©PPer boura © DoE: © UB Sawy> ane ceo SAB Dab] a meekd Ja Product b Y [LOB Lawy = S@d fo avy (8) oF bp a o jon bh] a sum b Lawwea is denacea by Maplet = CLO Go [CEANJoo ie 5 Sasmipve i: Cees} edie Latince. 48 fABy = AUB Te INES ALS const - OLB {mBy= Ang 7+The Poser cpess, [ESEE 2 me Pose cot Where: 2* denote thea Cemtimenis LOB Sab y= tem Of a spe OFAN Ave ineegeis foray BEG Say, AWE Sosts. DASA Lathes. WAS Latkes qj BCdop aap ube AT detind satu BRAMMES Ey. Poser Con/> is atatitce | dunce a be aA AVE Wteger . Ves By be bre set Oy all we See EY Then Dy isa, \atince onder the Yalalnon of aNestbart SOME LS detemmne. nether ane follows @ a Ing Hasse lag rame < Pose taly the wo x, ae < © ~ : < 7 e a p> » rd ¥ & “ 2 a » Konsdewng She opmaiv iced, = mane SB Feo eves noben = 0 LSB Jee, abkopces nokexst LB La 1] The Qg 12 noka dalhice HWY = Does notexnt ON Laryawoma msteral Qe gy Shebees necexge FEE snota alice, PROPERTIES OB Lame RAIN = FROCERTIES st 5 ae ler CLAW) be a Wen Lathee - Then AKY Saustes th feovorng, cond rene vt ayo yo eu = ava zo | @ Foerpormr iv ChSacS Gommornnne (aus aay =PRW AV =bV, | ® 7 Sevamve Ws | Canb> nccan Ceac) [canoe = GY CbvC) & lacs @ ANCAND)-= & APSORPTION LAUD | AACAYD = a,Fassia. glance Wesmen Kane Y Senose ne operahon- Meek § gor YespeckWely. Tow any ay beb, aed Barb =p 4D SePsor Cod - Ta Ger Wosds Q AvVE=b ME OS WAND =O AE Zep Taw lot} (Dany = a UE avb=b Enola P (Sch) DS aves’ YFasb = wens EE 22 Lex ack, Os bab, fom the depmbsn of aNb Voz have wreeb 3O . Smee avd ig Me ws Labs abaarpy =© From @MS@® we gee Tasos) 7O WEL W BO ies arb =a rl age MRS Agee VEER lee, avbsb —- © - . Wow “anbp = ancan? quemg > 2a Ley Absenpten rae} = =o j wae ID aaApza Whavb=b- aavp=bd YWfasb ane Then Lower pound of Lab} = o> > ae. : _[meorert eee ENexy frmte- Lalkce te bounded - Tato tee) CHI SY Les CLAN) be a gwen Latkice. Bwee Lisa Lathe both cre 4 ve east ves “a” be Qe opi -< “BH pe we og b men Sore Any sel ruse HAYA aaern sb =O Frew © OLB Fark = ance se \o $253 = 22/226 Low ga - Saxk save ax Lum Go, bya eve =b Pry fimece Lataca ie bounded, We oyem 3. Gly Seate Gnd Prove Tekomeky, Property of Lateue . “Scutcetsenvy LAT CLAN? be gwee Latice, pac Fox ang- abc ety. peo, hay. ID ano Pane . a sare > Te Gabatond - = {aslERooe: 2 SP od Qven bSE- . eSbich zac =e SO | LUBgp | sbue =e SO heed of, Tee 2 AAD cane . at’ pats ev-F GLB Qard anc} =anb z pyer i | late “cansy canc> sare Of | Pps = Canty Acang ~ . ! SQA CeOpAadAD _ | Lassonatve Laccd i = aN Canv> Ac L Comme tate Lac} ; = Canad ACeRED - TaAsseoma We Laud i oe AAcPne Cidempctent Laud i | Seon Toangod » L | o Cans>? ALAA = AAD vee Me > arb sane Va eS an? ZL ONo et — 2 et YER ave 2zave be oP) gue = oe VesyP LOB fave ancy = We: L oO IA TP Canmcaned = ave ~~ 8 o | Lewes slavip) \ Cave? 5 — I aN CORN NOD L dsscaatne Lao) cov) | = ANConEyN Lcoermotaie, Lass) i i = CANA VCerc> Lrssomatye Lacs) ove AC : = AN CNC? T¥dempotenr Lad L fovbo® ‘at ~ anc Tosmg 24 (er) a (or | 2 oN y ND tan sar € Yor) ch any Sane on — ‘Omewen a son palo io Stake sond Poe diecribubve equally aaa u swrevens. 209, AN Vee Gun be agen Lathes. Faw any are ab, wwe fallacy f equally hods T= mc i © aut bad & Cav ACave> . i WM AACENO % CONAN CQacd Ov CoACY 4 Cove) ACavc) ‘ ZL From “Ke. defintaon ey WB AS obwwous Shak azave —O© ord bac = kk ZAVD | bac bac HONG SG) fom B® ave rs din, Upper bows oy Las bre Rence, Jane Fr ave pred]. =@) Gom CA) Sa) (WR NONE aVCbAD 13 o Lowen bound gy Savio awd vo lONeb AD = Coney ACOND] FP A ACOVE? = Can NCAA Cae daily gine : WK OF anb =» @ and pre = b>aab > BYE ZAAb FS From © 2@Q , Arp is an dowan bound g L aibyey i Hence fons 2 an CONS} > © AGT as-ana Ga Bie 26 7 OAc DWE Zane >e@ From Gand ® .~ anc isan’ Lowe bound Og fa ipres Rence. ane canoe) => @) From © and ©. we hove AnCwve? ts an vpper bound opty, 4 ‘ *y Jantove) 7 Can VGA] & __ DUALITY TN LATTS UL 7 [See “2 is a portal BYder: Telahon ON a sek 2, | then IS Converse. Ya 1s aleo poxtgal Ovder Relohon on$ i TO OBA THE “pur 7 é SPR i & Koyv wv eya vib epyz W) obyt WW bey > | F POML OF Aap Sorve-b ts ave Baar =P THEOREM BE GM Sake « Fao Thats ony cha, te & distenibale rates te eaual € PROOF. . | er oe CLAN) be agyes chan and + abel Bef Of Chay: TE amy 2 elementsayve. Comperrabl-2 Sa y KWanany 2 as ag'h op posed abner ashe & ‘casei 2 Oem casei + baa Then Gis Lab} =a Then oe Says} => LOB Raptsb wR Lay} =a tT beth coscs , any 2 clemens® Gf @chans has both @LB ana woe. 3 ou. vo Ang onare ts o Lathes Heke. Every chayn 1s oaths) 5} < 7 7 5 Se MOG LEP Gan) sansges arstnoobve Propesty, Rao Bolo" | bee abic ers - Swnee ang. eran eatnahies Comparable Pyoperty joa howe beasel j-Ssertadpec \ Case2. asc =P Se eae Casey: beceaPsove. DF avCpncd = 1 geseu abe 5 CONS ACaMES +] Ls 2anebad RWS & Cone) ACaNCD KNB Leb ed eeac [lack Save-b ) “bey if) Cua TP ave bre <= CaN Ac BONG se - By chstibatve, WeqQuali! THe have ANCA < Caney ACONCD SS aNCond & Cons? Ac oe SUS NAD ecavin ach oO | | Converser ~ ASEAME ay Coad 2 conby Ac TP ee “J anctpaad ECONDAC PAS aNOGAD coonmne cc Deg des ef 1064 SoAcane) = BAC = Pom © <@ CaAnd. wc bac > = Carb) AConc) =bOs PReoe FoR PRoeeRNES OG LATTICE. az we O12) be a. laltea Rp depns ANS: PROPER 4°: EREMPOTENT LAS RG QPEL, Tren “snéio Mak both and ®: sahs hj assonahve. Labsoxphon and Wempotent @>Vv 7 RA ab Cai) 0Ob= lobar Gimmie, eax Kauss | PRopeeny 25 Conn MNS: LAGS tae CUAND be gNen Yates then, forany abide, Qvasa and ane =n 0" PROoE « on: ONG ELUBCQLAD =LUBCA =o , pI + IAnea = - e QfAa =Ms CAO = ABA sa FROPERTNS : ASSOORTME LAW OE et GanNY be. ques Latice Then] Ferrans, mune @Ly OND EDV Ard AADdD=bAQ ANP =WB (abd L4B05,03 =bvay BAD = ABP =GALBCba)-pac | J [EReabna) WAS cap rson PROPERTY : ABSORFTION LAS Lek CEAND be. Aen Lathe “hen Sr any a bicel, AN Cbd =QNBN CS § AAC BAD = Gade e TEE ANGE =a SOS CONDING™ 2 pS ae Te Ca,pxed Bye 8 debe Done ewweecrr oO Dvwer, Awe =@) Pom Oa®, dz a dab 8dr er <6) Osa eos SH CU) Baw DdAwvab 4AxEY | BS d=vecord,c0 —=© Ba e-ee corv,cp a> =@ rom ©8QH dre WY prove ed fe dee GangOs@" aecioucy = CORES WS Pare. an Cond = Carnie WO TEE TIAN bE Qe pwhen | for any ibice L” ON COA OO & AACONDE OL Ror, 62 ELE ON cCanp)y= a ON 6d QAbd =GQrB Cayo) aro Za +P® Sdwovslyy OSA = Fron © 3®@ 2vcasby ea - ~@ wwe defintaon ol LOB, jak nove : Q2qQn ron, =O Sy combining Os @ TEN cans) =o] WY Pwve AA Can bd=% ) DEF t DsTRBETWE. Latice A Late Cyn) 3 said bo be distripunse Latince 1f ASV Saustes ve Conde? ,Yarbs cel, Cane DACENED | | PP axcoacy 1PataaCbvo = Canby V Canc} Lore: oy. Hos enon ES £ rad, SF onb,ceL Gn lance 1s “aamnburve Eathee| aa $e Dpox Dy _ kOvec: Mopuse umnce (2m) ~ A Lathee CLAN) \& card 60 be_ Maslear Lathea yf \t sabstes “ne followom g Condition . (PETES Sethen avlonas Cane Ewe caprsioneieee at 7 a Ochect themenkagon’ Latha. OFNelatnce. 1S Modular oy - Detribatwre _ Fok msmeonve. paseegny: [Rrewena 2 : Yo Sashes cayenne : {MILER eee Utah Os 1 CANRPAVO= TAL Sirgen yo : thes 2 B= Ag ° i He NEas seas Mee. hy, Mor “Qh Lathee 1s not Disimbalwe ROR PROG, i fensidey Uitfases ayCpncy = Cavs nc} i Qeaq i Le ¥ 3 | EERO Q 2 Ov CO doa, 7 | * CANAD AAS = 1 Adgza ve Lates, a Lge SS Ras es RS “La ! SW AWE gn Lathes is nce Moduler - || aeone Bem OD - Exe cembanve Lathea (a Modular, bub not Comer sly PROo FPUEETONY be tne green chetibutlove. \aleace - FP} Py < ONC BACD = CaNDD ACOY QY BO W avicer HP Sos Ya Set tren, aes = Bs axfbaced = Cavw Alaney = Canby AG Ley) “BE ase Ren ONC bad = CON AC EN eA HVE Latace rd modular . Bok tha Converse ie 0dk UE Ved EVER, Modeler Lolncs Nee be Se Eg alka ta an axcamele J o> Sx Ne: My i Date “Latnce bak ee aan VEEL CANEURTON CAD NK = ENang hetbawwe Lakes CL NV) Wave eL pyle thor ONDZONE | aAb zane pee : sab ane PRooE pl Cleasidey [b= PY Cora) ¢Absombon dap) b= BN Coy) N SeAa)_eNbsoep NCAA) COommote ive Law> by (Ap) seed | bx Caney Gorm Canavoon) = by (ang) FBYO AGA Coistrbuinle Corton) =Covada(pyr — 2 5 wad = (Ovb) a (by - Cave AONE -CCOMmmOace . so (ante) afb = Saved aACEuc> Caan Corftbon > = Co Yaya ieer Le _ ® > cwtaas), ia Ag - By (aa.cia = ceNed ACO? Ctmrnmnstanie. Ruled ~ & ENCANA? cratrvahse Cord ?Dd = COREY C tan Gaodiasd | SEN CEA CCommulakve Lass : med CAapsosphion oi) - ‘EQ : PROBLEMS : ES war wo Laked eee ond c= 4 ten anc bra So) Can agp aavsa 2O 6.649 De asses Se ase and : KATP CoA), ACbNO) SALE Cane »ACR AAD = AACA AA OB Meorev 110 HM | eNery trans Moduler. Lev ss Bpece. THEOREM 8 TTA TORE S ; = OAConE AA: eee = (adv) DA COnAD Kr os | = One Tey OsO2 Cancdatinnay sang > are &bAA- Pinang Cstnpuove Latace (uy) PvE ashok caw bd ACLbNE D A CWO EXC ANG? NORAD N EERO OEY ANe Uvs 2 GND ALVA AC eno) =fauib KE v40) ° sd . = Canta Ae QU CCoveY ACOALY) Tprsteranve 4 slp a - - PAQSOAd- Shy =F COACAVDYINCE AAS? ACONDD? Llommnviatv]edo4> fe CORAIN CED V.CCRABY KATY Coo? a) CaAb) SCbAGN Cen) RAS x | Ca ACV ACCIAD = CONW NAO NENOS LATTICE AS A_ALGEGRAIC SsNSTEMN . LATTICE AS A_ALSEBRAIS rLatice aS a algebrarc system ; A lace 1S an Algebra Syscem CLAN) votin aun Vinay | Operabon NaN ont wine ave, orn = Cormmorwbve geese. & solashes obsospoon. dors. Br O30 ie @ lodlice “Ran Ae, is DEE: guyamee =i = Tee CGnN) be @ battee od let SSL bea subsee of L- Then b CSA) 1S co ecuplaltt]e OE CUNY Sis closed WF OY |} Loparahon AGN es Bae eS “= < nes SS Thommnncabrr of bs i . 4 Tet Los} CCAD SN COND? NCAA? COM? PAdormpore ss tone Care WE BAR) NI CAALD Prdemporant doy ,| ee DEF: Be Horn WE CUNY Cla, * MOPPING Filla is called Lathe, omosphiam: ct Nab el, © geaasy @ Feavnr = FCOY ® $cy OS Clay System Cris, . PREXS ore sue Lak fr any Ga, Cand + Cag yb. Cay Ray, Lamce, Somos == ZSQMoap rs HmMephism Udi 1s also IVS called lathce Tsomonphgn. PEF: DReer PRopvcy QE LAMIce WO) oma CS, NN) be Quo Latices. the, Ageprarc be GUD gwen Latinces, = Feo row @» eI Mwmch Le, \S\ner operation 4.5 . YY ANA Carbs) in Ls. PROOF: Poe Cayo. Cexag is? Gesusg a Coan *€2c24 25) - ray, +, DeAvD CABO Y Caasey ace MOay obvi. \S Caled the Pree Praace oy rme Latiace C16, @> and XIAN) + - — (Ssesenk: BAsm Me dyvect TE OMAN acy Chime ye ya5 ands falushes commutabve 1asssaaya { eesorphon WLXL Les Saul. CHa, CX HY |S LALS ® ana + oe Commoutahve tone. Commvotahye SAMO FOR YD = CO 54U. a toe . = (ax%h TOYO Kesey = Cxag2 + CPeny) : i Wo oaue WD + ana - cmap 12 ga 8 exag 5) = czy, * L*28<3. 49 25y3) = (1@c.Ox2) oS ya) = (CxO xdOxs, GvyoYs) = L m@xer, yuye J+ Genya> I ~) GA & LOYD XOxagiey = Leeann cxegi04 ¢ Ces 4s) wes is Ce bans tins ASEM bubVe Latico, \salso aq lalhd - or oe 227? ae buy dsenbuuve, Valnees than , M ‘BASS a Lamee, coo G2] YANG) Ceri): Coan = Coy §Oay2) = Omar - Sy +4 - ore commulatoy.c ST2_assoaatw eve assonobve- ©& yogn 7 MARer “ebeaemon daw Cogn x Loaya Gemsd] = Gciva sls =G eeaeen » Be arnia) / Syn * Leng Oya} = Cy 90° WS Cogn + Leawo eexayya] = OY oz? J. Sands Sabsfies absorption Yous: a oF ence Cube ott) As. a Lathe, . Sone Sreaar LAmice WhO oy DEE! BoondeD Lace | CLINN 10ND ow 7 Lar CUANY be aL gwen Tabs FY e has both lol crement and ‘VY dement then tk IS sad ko ba bounded Lalkice EQ: Chea, S) 1S & Bounded Latiree- DEF: — SEAN _SLement_ The “ehernaite a aaeL \> called ——s i au Qaciso ‘om anal=\ DEF: COMFUMENTED LUPITICE FBoandak lathes CLNNIOWY ts sald tbe, @ Compementest Late \Ceveny element ofl Was cdeast one comple mant . nedd xne gwen Lolnce, 1S Compemented Lehce or not. : y bac =a 4 pre =) crb COANE pre db does not Nove. om Complement - Jeo the" ‘gran ve ‘auc. ComplemenEat Lalace. yah 2 emorgan's Law of Latte Com gu? MVS & Complemented Latha | the Ocarst save ox ITS TSS @ Const zalabl or car 2x6 Cans adyehin- le TR ® Canny ACANYo=0 © canvy V@lvb) =) La MATE STMEMENT DE THEOREM SER are, SRE gor ats gas inven bounds! ; L Complemansed & ABAD tetices —— Prove thak |(Deane) Agabw whD z ——— ap D Caaled Vealy > | Ceanb>at}vecanb)ns) esting} = law GWEN AOVIN) Costing = Canela Canals Tass acs} ~ Cayelvb) ALY! Cassane| = Coan \ C&An0) Landlzay} 7 CYB acon Lavaery ; ONO 7 Terns} } > GAY Lave] 20 zy » Caae) Ace v uly ee 7+ \Canw ncaa seeks aoe. Neh =11-@ VO}TP pa Ns CS cave oe sd we CO baaIcalAy FOLoBy Ac alne!> = Acad WY Concel ad) ) Corsi; ~ Btavy cal ny!> . = Coaypy vol) Alcavtory) trek Canolaw> V Cpr aa! Wssdad = Cavalurs> ACaviow b> Taser _|F Gees N cone! 9 Carct-st} = Cb) Agent) Lava fl cae Caro 5 1A Adamgotand Za i DRESS] © | -VNDveeigb= | 4B) From © «Gy 4 uniquendss Lanvyt =a) ,y) Ge). Sate + WMeonenz ei) 4 Sate ® monvesta Lathe, has ore, Complemenk - Saooe dae Us assume SY Oe td Complement’ op as “ces complemenr GO = aaxco Wow = =o c DEN COAL) = GNA) A CeNy) = CONDA CeNY) =A owy)). EAS) 3h CAN, 09 1s a distibubwe, tnikce rthen each okt xe. almost: PaNx=\ _3@) ae Lomplamede gy a OAV FO TONY 21 = Be =XD cosh} CDistAp sng] Tampie Tana =tellice| : ee SOMIQue- =Q) L Corns tabve cesing® acleaake aye ays Ea aa = cued AY Y=) Corte dor} = wy) ACQNP C coramukatine haw, VAC geo SES -© From BH |O®™ waraua a2 wy = ZANE 24 Lvs goy aeeoce Complement = 1S MOmaque a Roper . ee den retdD Pesala BAB = Ceaamayy Luang ©3 = CAAe Av) ass Law) > aad L lonvtsoq ia Le aacoze] + re. GD = ch) led TP OATES alybst (ec bes aaw=so Take Complement on botnsides | conn'y!= Cor! ONb = AA = > ay vba 2 UW = D> Aas tr alvecl > blea! ee NBL coi ABI oi AU > Cola) vervd> =p! CBy Canc etlobion Law) > calatovo Lost rang =p ies Av =! : bla HP CNIDO teyre Te vag R Selassie warlzo] waa!ro . Bi Saa'3 athe sot an dwigoys of 42 ana’D os the yelaton “danisor of" on San 1Pmve that ¥ SaaiDs 1S a Gmpiemenkd Vatince . oy SDR Glas Sel: Sag 2 S8k Of ML dwsors e¢g2 3AM 7 inn Faget i): | 5+ Sqn? $02, 3a DER “abe Ge A Hy We. Wasse Diergram for C S420) 1s ° i cla ov least clement 6 1” i Pat or Qyeatet tlemenk ts 42 Z ! Lem Suadke = \N 42 ere ¥ “VX 2 ») MED SyheZs LAK =/1 wor oe Ho + Complement’ of 1 15%2 esfeS Pe) Xe eh OP BA ee sa Vay :. feria) oN K i* Saw ese ayy : {Brena} Fo VEY ; {'enu) YO ae Ie Py GAT 2b 3 ONT ey 2 Ws] oe ah yw | Obviee sty Bey oles, Cartsa Ya eve! oy? Since eer clement ag Pao. has Complement. If, CSaafd> Sa. Corte tenure Lakktee . Gr ~ & Sn 8 the set of all dwisors ns {Ot sn ag OxMMA Pomtwe tage 5 DC 2 Sawison |. pr a Srey tsa lata - Fina also at che sub lataces LSa5R3 thal Cont s more, Glks . Sol: abe cates > gust YORE MNAS bormore 5 Sublabico with elke. ° TGS U3 Kp ee fe nah O bd, Qe 81, 2,4.38h 18 - begs len ie.3)2 6 4S Te Facey 6209 MS pore eb mad Cans) 34 : is} ean Sig br 53, SAS). . coy, ° anne ri Me = Poy uy 1 Bo, $9.4. 6 2B LS, dablaliice woth bY , paalbieg ' Gaps By ry hh yb HHS 276,033, Lrg, 10,203, O67 © cee ous. Evid sb) C2, 60181 3% - 3. 2g? 206 : by i Fl Mans. Hor putin | ~ . thk. ew E : Fame: CUA) | Cy FD 109 * . an. @ BOOLEAN -ALEBRA (8 FIO) | A ornptemented dickribakue Lathce \s called Boolean Algebra wn A Boolean Mgebra. is a non empgy sek ute 2 LKYNaTY CParahons | Alara ate \> saashed by yee Following. Cond ons tobe arasa Lat adbbebra ‘Aababea bat OOO = Calne c Akira) = COMDee Lagi & & Cader. a, aA (avb? (O88 Caper 5 Dit Ash 4D = (asbreCord. | Ty: AKOYA = CaF bY alate) Mere cemst “Sek a Wart ska as (oo sce aAAL ca, pee No PAL Whee crak Conpespording. element ael SE asatlg oo 4 Oost Nom Invalhce. 4 Vo for 3am [Sn mooleaniqera + -r for Booleansui|. . AN fox Prodock © Ger Radeon ply} IND Baceeands o= ceshn adenzs — Q[6[emae LEDEWPSTENT IAN F Qtae a and auara Vaes TT =Ob ase GP _qasta. A WENN Omism By Wanton Gower, , aa Ot Hse Loompigmns Lousy | a= ds Canal) Ceomp Lars ards] = Cans) Cora) Corse des saaracadl Lose dao} = Carder Tcompdars ard] = 8 +6 Ltomplernentany) \Szars} aaoeg RFs] wa TWEDREM? The aks O91 Of d Boolean Algebra ave Unave - pEEnor FER W!A’E is omave ve MY exe as omgbe ASSOM2 0/02 Beazer UL eB [Assure 4,2, be AS unvk lks ns |Peo.x0, =02 Weng opasto’ ettaQfaty ta zh aang das Y [Ozo3) JOOS GR que In Boolean Alqebro B, irda enoryrass] v4 Coomplemeniany dont]THeOREM 4: CBB DEDNESS LAWS: Dor. oO RoMINArrs LAW) -and Gy aofo EB. PROOF) TP ste) taee HTP aoso vaep i Os aes) Complement das) BOs QetD CL tdenhhy sins] = (ata) qi _Ussouahye deus Faroe! — [omplement lous 2a sale TL zdarn potent Zag =o Or Corse gow} , | BeD Uornplernant Aas = Ge! Lzaeny caw} - : Qev=0 : ' @ MeoREMS Sc = - Vomplamnans aug} Orava COMPLeny NT)! ayy MROREN'S + Ino Boolean Agere Seat EROOE . vere 3 every element 1s, Omqua. YE aes bea, Ay Semen. tp atanda Petar Compramonts Aa} > aaatiy and a-ajag 7 ey S892 ond. a aden + op 4 Now al a V LODE 2 Oey Eta enbty Lacy aan = at caxaly Clomplemenh Lay & as = Qasayeada al LDstmbubwve. Loud e > = aca, FATA TL Commuteina Log a | GS SST L Comptanans doug j = a-at 4 alas TiGor aman olo.0]] i Fala wala? LGommatetins nloiny Fah. Casa - CDichibuhue, Loss) | ES ~ L Com lone a0) Qr sat TL Tdanhhy tarot - Comparer Sh oh clamor 1s Umgue._ — “WeoRem br ABSORET low LAUD . GBT-e cary) = a ake-b) = a voles PROSEUEP a-caxis) Scare Fatt Scab Scat Cay 5% G&D) [wre aravra | SAY) Ldenhydos] arabe a.xa-b Tadanhh das), Mak F205) Trick dow \ 2 Ons) Last claw {= OQxb.o Lcomm das = OC baad Leommnbosy BX = oro Fan CBourdagnenn ~F ae Traanhhy dos = Sieg BeyFORE . Ve Morgals Roun. ay oO eet soll Ub cab? ale XN aber - A PREOE TVA bee Carp sels! eT camyt al oa wrsidey Comedy 2 [fara id] [ean av] (visdoss] and) L axtbeacar)- Card 3 [apc ae] Jertowed)] ~ (Gommta ‘ Assdou | = [bs coxct)] - Losi} = bol {bw -Lavd (Lemphenat 2 per ao ve a Cay voun dad non] Tioundedrun Gand} + Craanhhy dow iThan Cama td-pl ay 6 CO asey- cada =D 7. (axe sole Ez Complement 15 Umque) WTP Cab! = alxy! ied Gomplemant Boe is oleh. Ne TP Cats x caladd ous Con) £ Codsd > = featetasty |. Le + Gey] [paced =Leaad) av] fecha Vass] Com al = Leads: Leow + 0} L eed: Grad \_ Boankabeal = Leea Lea) [bom] — Bundebredl ay TAnwh Woy lad & Calipls BE se Complement of 20 NEY eats ea Complement A axbt HPC ax) Ca wre? consider Cars» Cl-vt> 4 Caw. clipy ed / Yeot atey] \ & xdso s ay Ca. bd + Card Lome dows} = [o-BD-a * C-Byb> Lost dow) = arcen-BY 4 ACh. opie . 35, eGrd)- Vad. B TP Gy) ¥ Cola =D Wow (a-by)- Cally) = Caby-o! X¢a) -t List) = Cyan: 2 xa-lo-B) = bad) *o-Coey Lass} a b-o400 Chomp) |” = Bae TBoundadnen) =o Crdaxhry