Loogikaalgebra
x w xy = x (1 w y ) = x ( 1) = x
A
ekvivalents:
summa mooduliga 2: ( ka "välistav VÕI" XOR )
pane tähele: x w x y = x (1 w y ) on korrektne teisendussamm, kuna
sulgude lahtikorrutamisel x (1 w y) tekkib taas avaldis x w xy ( see tehe on käsitletud edaspidi )
u t
...elementaarsete loogikatehete (inversioon, disjunktsioon, konjunktsioon) kaudu:
t u
Neeldumisvõrduste x w x ¯y = x w y