display | more...
A property of a pair of binary operations. We say that the operation @ distributes on the left over the operation \$ if (x@y)\$z = (x\$z) @ (y\$z), and that it distributes on the right if x\$(y@z) = (x\$y)@(x\$z) (if \$ is commutative, each type implies the other, and we simply say the @ distributes over \$).

For example, addition distributes over multiplication, but multiplication doesn't distribute over addition.

The Property of Algebra which states simply

a(b + c) = ab + ac

An Example:

Pretend you made 8 nodes on saturday and you made 4 nodes on sunday. Each of these nodes gained you 3xp total, how much xp did you get in total?

```3(8 + 4) = 3 * 8 + 3 * 4

or rather

24 + 12 = The amount of xp you gained
```

This property is useful when you do not know one of the terms, for instance

6(a + 5) = 48

It would be time-consuming to continually plug numbers into this Equation to find the variable a without the distributive property, which in this case you probaly know by instinct.

6a + 30 = 48, therefore, a is equal to what integer?

a = 3

Note also that the Expression on the left is a Product while the Expression on the left is a sum. You should not forget the obvious fact that a Sum can be turned to a product just as a product can be turned into a sum.

This simple algebraic process is also called expanding brackets, the opposite of factorisation, a process of simplifying equations.

### Distributive Laws

For sentences p,q,r:

p ( q r ) ≡ ( p ∧ q ) ∨ ( p ∧ r )
p ∨ ( q ∧ r ) ≡ ( p ∨ q ) ∧ ( p ∨ r )

Or, using Tem42's Everything Logic Symbols if the above hasn't rendered correctly on your browser:

p * ( q ^ r ) == ( p * q ) ^ ( p * r )
p ^ ( q * r ) == ( p ^ q ) * ( p ^ r )

The first law can be shown to be true by comparing columns 5 and 8 of the following truth table:

```p  q  r  |  q∨r  p∧(q∨r)  p∧q  p∧r  (p∧q)∨(p ∧ r)
T  T  T  |   T     T        T    T         T
T  T  F  |   T     T        T    F         T
T  F  T  |   T     T        F    T         T
T  F  F  |   F     F        F    F         F
F  T  T  |   T     F        F    F         F
F  T  F  |   T     F        F    F         F
F  F  T  |   T     F        F    F         F
F  F  F  |   F     F        F    F         F
```

To prove the second law holds, consider the negation of each side, using DeMorgan's Laws:

negation of LHS= ¬(p∨(q∧r)) ≡ (¬p)∧(¬(q∧r)) ≡ (¬p)∧((¬q)∨(¬r))
negation of RHS= ¬((p∨q)∧(p∨r)) ≡ (¬(p∨q))∨(¬(p∨r)) ≡ ((¬p)∧(¬q))∨((¬p)∧(¬r))

From the first distributive law, the right-hand sides of the above two expressions are equivalent. Thus the negations of the L- and RHS of the second distributive law are equal: thus they are equal (negate again and the negations cancel, leaving the L- and RHS) and the second law must hold.

The distributive laws also hold for sets, with union in place of logical or, and intersection in place of logical and:

p ( q r ) ≡ ( p ∩ q ) ∪ ( p ∩ r )
p ∪ ( q ∩ r ) ≡ ( p ∪ q ) ∩ ( p ∪ r )

Dis*trib"u*tive (?), a. [Cf. F. distributif.]

1.

Tending to distribute; serving to divide and assign in portions; dealing to each his proper share.

"Distributive justice."

Swift.

2. Logic

Assigning the species of a general term.

3. Gram.

Expressing separation; denoting a taking singly, not collectively; as, a distributive adjective or pronoun, such as each, either, every; a distributive numeral, as (Latin) bini (two by two).

Distributive operation Math., any operation which either consists of two or more parts, or works upon two or more things, and which is such that the result of the total operation is the same as the aggregated result of the two or more partial operations. Ordinary multiplication is distributive, since a × (b + c) = ab + ac, and (a + b) × c = ac + bc. -- Distributive proportion. Math. See Fellowship.

Dis*trib"u*tive, n. Gram.

A distributive adjective or pronoun; also, a distributive numeral.

Log in or register to write something here or to contact authors.