just remembered de morgan equivalents , have not done Boolean algebra since ttl was in vogue