HULGAD, hulgaaritmeetilised tehted ja hulgaalgebra
|______________________________________________________________________________|
T Ü
__
Hulgaaritmeetiliste avaldiste TEISENDUSED
= A ( C A ) ( A B C ) =
T
Hulgaavaldis teisendatakse hulgaalgebra põhiseoste ja hulgatehete
asendusseoste abil lihtsamale / lühemale, kuid esialgsega samaväärsele
kujule. = A C ( A B C ) =
Teisenduse eesmärgiks võib olla hulgaavaldise viimine
Cantori normaalkujule. ( DNK ja KNK analoogid hulgaavaldiste jaoks )
= A C
k a