Relation Logtest

Instance-Of@Frame-Ontology: Binary-Relation@Ol-User%Kif-Relations, Relation@Ol-User%Kif-Relations, Set@Ol-User%Kif-Sets
Arity@Frame-Ontology: 2
Documentation@Ol%Frame-Ontology:
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.