Answer for the = problem

Prove that (xyz.xzy)(xy.x)= (xy.x)(x.x)

Solution:
L.H.S:
(xyz.xzy)(xy.x) (x.(y.(z.(xzy))))(xy.x)
([(xy.x)/x](y.(z.(xzy))))
. y.(z.((xy.x)zy)
y.(z.((x.(y.x)zy)))
y.(z.([z/x](y.x)y))
. y.(z.((y.z)y)
y.(z.(([y/y]z))
. y.(z.(z))
yz.z
R.H.S:
(xy.x)(x.x)alpha (x.(y.x))(x.x)
alpha [(x.x)/x](y.x)
. (y.(x.x))
yx.x yz.z
Since L.H.S = R.H.S, (xyz.xzy)(xy.x)= (xy.x)(x.x)
Addtional Problems for practice
1. Insert all missing parentheses and s into the following abbreviated terms:
(a) xx(xxx)x
(b) (xy.x)uv
(c) w(xyz.xz(yz))uv
2. Evaluate the following substitutions:
(a) [vw/x] (x(y.yx))
(b) [uy/x] (x(y.yx))
3. Reduce the following terms to -normal forms:
(a) (xy.xyy)uv
(b) (xyz.xz(yz))(uv.u)