theorem :: XBOOLEAN:75

for p, q, r being boolean object holds p '&' (q 'xor' r) = (p '&' q) 'xor' (p '&' r)