reserve Y for non empty set;
reserve B for Subset of Y;
reserve x,y,z for boolean object;

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