Self-distributive


THEOREM   

Let \(a \circ b = \frac{a + b}{2}\). Then \(\circ\) is right self-distributive.

$$a \circ (b \circ c) = (a \circ b) \circ (a \circ c)$$

Proof available

THEOREM   

Let \(a \circ b = \frac{a + b}{2}\). Then \(\circ\) is left self-distributive.

$$(b \circ c) \circ a = (b \circ a) \circ (c \circ a)$$

Proof available

THEOREM   

Union is self-distributive.

Proof available

THEOREM   

Disjunction is self-distributive.

Proof available

THEOREM   

Intersection is self-distributive.

Proof available

THEOREM   

Conjunction is self-distributive.

Proof available