HULGAALGEBRA PÕHISEOSED distributiivsus: ( sulgude "lahtikorrutamine" ja "lahtiliitmine" ) loogikaalgebra põhiseosed muutuvad hulgaalgebra põhiseosteks, kui nendes teha eelnevalt näidatud asendused. A ( B C ) = ( A B ) ( A C ) Ka hulgaavaldiste korral kehtib duaalsusprintsiip. I I Ü A B A B DeMorgani seadused (kahe hulga jaoks): T ______ __ __ ______ __ __ T
(inversioone ei asendata duaalsele kujule üleminnes) 0 = 1 1 = 0 01=0 0 w 1=1 a x0 = 0 x1 = x xx k Loogikaavaldiste kohta kehtib duaalsusprintsiip : ¯ = 0 n i Kui 2 loogikaavaldist on võrdsed, siis on ka nende duaalsed avaldised h x w 0 = x x w 1 = 1 x w ¯ = 1
14. Mis on ülemraja? Kuidas teda teisiti nimetatakse ja kuidas tähistatakse? 15. Mis on alamraja? Kuidas teda teisiti nimetatakse ja kuidas tähistatakse? 16. Mis on võre? Võre on järjestussuhe, kus alushulga suvalise kahe elemendi jaoks leidub alamraja ja ülemraja. 17. Millised 2 tehet on võres defineeritud tema elementidele? 18. Mis on võreavaldis? 19. Millised seadused kehtivad võreavaldiste jaoks? 20. Kuidas saadakse duaalne võreavaldis? 21. Mis on võreavaldiste duaalsusprintsiip? 22. Kuidas avalduvad võretehete kaudu võreelementide paari {a,b} alamraja ja ülemraja? 23. Mis on võre alamtõke? Mis on võre ülemtõke? 24. Millisel juhul võib alamtõke ja ülemtõke puududa? 25. Milline võre on tõkestatud? 26. Milline võre on distributiivne? 27. Mis on võreelemendi täiend? Kuidas teda tähistatakse? 28. Mitu täiendit saab olla tõkestatud distributiivse võre igal elemendil? 29. Milline võre on täienditega võre? 30. Milline võre on Boole’i algebra