Loogikaalgebra
"disjunktsiooni ühele poolele võib juurde korrutada teise poole inversiooni
(avaldise väärtust sellega muutmata)". /¯¯ näide: ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
neeldumisseadusest x w x y = x tuleneb, et neeldumine toimub ka
Seega kehtivad võrdused: näiteks avaldises x1 x
¯ 2 x 3 w x1 ¯
x2 x3 x4 x
annaabi.ee 
