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

theorem
  p 'nand' (q 'nor' r) = 'not' p 'or' q 'or' r
proof
  thus p 'nand' (q 'nor' r) = 'not' p 'or' (q 'or' r) .= 'not' p 'or' q 'or' r;
end;
