Ball : Logáil isteach |Clárú |Eolas uaslódáil
Cuardaigh
Aontas: teoiric socraithe
1.Aontas dhá shraith
2.Airíonna ailgéabracha [Modhnú ]
Is oibríocht chomhchomhairleach é aontas dénártha; Is é sin,


  A \ cup (B \ cupán C) = (A \ cupán B) \ cupán C.}
  


Is féidir na hoibríochtaí a dhéanamh in aon ordú, agus féadfar na braontaí a fhágáil ar lár gan aon débhríocht (ie, is féidir coinníoll de na hailt thuas a chur in iúl go comhionann le A ∪ B ∪ C). Mar an gcéanna, tá aontas comóideach, agus is féidir na tacair a scríobh in aon ord.
Is gné aitheantais é an tacar folamh maidir le hoibriú an aontas. Is é sin, A ∪ ∅ = A, le haghaidh aon sraith A. Seo a leanas ó fhíricí a bhaineann le neamhshuíomh loighciúil.
Ós rud é go leagann ceardchumainn agus idirbheartaithe ailgeabar Boole, dáileann trasnú thar aontas


  A \ cap (B \ cup C) = (A \ cap B) \ cup (A \ cap C)}
  


agus dáileann an aontas trasna trasna


  A \ cup (B \ cap C) = (A \ cup B) \ cap (A \ cup C)}
  
 .

Laistigh de shraith uilíoch tugtha, is féidir aontas a scríobh i dtéarmaí oibríochtaí trasna agus comhlánú air


  A \ cup B = \ left (A ^ {C} \ cap B ^ {C} \ right) ^ {C}}
  


áit a léiríonn an superscript C an comhlánú maidir leis an tsraith uilíoch.
[Maoin chomhpháirtíoch][Maoin chomaitheach][Socrú folamh][Comhlántach: teoiric socraithe]
3.Ceardchumainn chríochnaitheacha
4.Ceardchumainn toghcháin
4.1.Nótaí
[Uaslódáil Níos mó Clár ábhair ]


Cóipcheart @2018 Lxjkh