Relation LOGBIT

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

Slots on this relation:

Documentation:

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

Arity: 2