konstant 1 universaalhulk ( A B ) C = A ( B C ) ( A B ) C = A ( B C ) 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 Ü
x w y Põhiseoste kehtivus tuleneb elementaarsete loogikatehete definitsioonidest: konjunktsioon disjunktsioon distributiivsus : (sulgude nn. "lahtikorrutamine" ja "lahtiliitmine) x( y w z) = x y w xz x ( y z) = (x w y)(x w z) w