Na Álgebra Booleana, a expressão A (B + C) é equivalente a AB + AC. A propriedade que garante essa equivalência é denominada: