Dagilma ozelligi dedigimiz, benim birlestirme gibi yazdigim, \[a\cdot b+a\cdot c= a\cdot (b +c)\] esitligi saglanir. Bize \[a\cdot b+a\] soruldugunda tam olarak bu formatta olmadigini anlayabilirsin. Bu formata getirebilmek icin \[a\cdot b+a= a\cdot b+a\cdot 1\] olarak yazabiliriz. Bununla birlikte dagilma (ya da birlestirme dedigimiz) ozellik ile \[a\cdot b+a= a\cdot b+a\cdot 1= a\cdot (b+1)\] esitligi saglanir.