xy + x'z + yz xy + x'z. Bu denklemin duali ise. (x + y)(x' + z)(y + z) (x + y)(x' + z) biçiminde ifade edilir. Sayısal mantık ta gecikmeleri
Kaynak: Konsensüs teoremi

Açık olarak bu özellik, (xy)z x(yz) demektedir, yani üç elemanı "çarparken" işlem sırasının önemli olmadığını söylemektedir, bir başka
Kaynak: Birleşme özelliği

(xy)z x(yz) : , 1x x : , x(y + z) xy + xz. her ,x noktasına karşılık birde ,-x noktası vardır ve şu özelliği sağlar. x + (-x) 0
Kaynak: Alan (matematik)