Ttl Logic Specifications