
theorem
 for x,y,z being Element of BOOLEAN
   holds nand3.<*x,y,z*> = 'not' x 'or' 'not' y 'or' 'not' z by Lm6;
