theorem :: XBOOLEAN:83

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