Ked mi pravidlo distributivita hovori ze NECO*(A+B) = NECO*A + NECO*B, tak logicky to znamena ze napriklad (a+b)(b+c)(c+a) = (a+b)(b+c)*c + (a+b)(b+c)*a. NECO je v tomto pripade (a+b)(b+c), moze to byt cokolvek. Takto sa to da roznasobit vsetko az na male kusky. Potom sa povyhadzuje to co tam je viackrat, to hovori zas pravidlo
idempotence: x ∨ x = x, x ∧ x = x
tak ked tam mam neco + neco + ab + ba atd, tak ab + ba je to same co ab + ab a podla idempotence je to proste to same co ab.
(Dezo alebo Dezo) je proste Dezo.