reserve x,y,z for boolean object;

theorem
  (x 'or' y) 'or' z = x 'or' (y 'or' z);
