The result of BINIMP(A,B) is calculated by converting A and B to integer values. Then each bit of the result is set to 1 or 0 depending on the corresponding bits in A and B. The following truth table defines the implication operation:
A
B
BINIMP(A,B)
0
0
1
0
1
1
1
0
0
1
1
1
Note that the operation is not commutative. That is, BINIMP(A,B) <> BINIMP(B,A).
The following example performs a bit by bit implication of 12 and 6: