1. Homework Statement
[PLAIN]http://img87.imageshack.us/img87/9001/150674.png
2. Homework Equations
3. The Attempt at a Solution
I think, I need to write: a(x)[b(+)c]
Then prove:
Distributivity law 1: Unsure of
Distributivity law 2: Proving: a(x)[b(+)c] =...
I can't get the code to work to show my derivation, the way I thought I could is the way you said earlier is not allowed since the group is not commutative.