Loogikaalgebra
n
x y = (x y)( y x) = . . . . . . = x
¯ ¯y w xy
I
teisendamise teel vasaku poole avaldiseks.
Arvestades, et x w x ¯ = 1 saame distributiivsusseaduse (sulgude x y = x
¯y w x ¯y
lahtikorrutamise) abil ja neeldumise x w x y = x abil teisendada:
x w y = ( x w y) 1 = ( x w y) ( x w ¯
x) = Loogikaavaldiste teisendamine