Relation LOGBIT

The sentence {tt (logbit $tau_1$ $tau_2$)} is true if bit $tau_2$ of $tau_1$ is 1.

Arity: 2

• Defined in theory: Kif-numbers
• Source code: kif-numbers.lisp