theorem :: BVFUNC_5:40

for Y being non empty set
for a, b, c, d being Function of Y,BOOLEAN holds a '&' ((b 'or' c) 'or' d) = ((a '&' b) 'or' (a '&' c)) 'or' (a '&' d)