The sentence {tt (logtest $tau_1$ $tau_2$)} is true if the logical {it and} of the two's-complement representation of the integers $tau_1$ and $tau_2$ is not zero.