reserve p,q,r,s for boolean object;

theorem
  p 'nor' p = 'not' p;
