The Implies command computes the bit-wise logical implies of the inputs returning in terms of a number. All bits that are unset in the first input or set in the second are set in the output.

Implies takes one optional argument, bits=number that specifies the number of bits to be considered in the input. All bits past the specified number are truncated.

Use with negative inputs requires that bits be set, either as an argument to Implies or globally via Settings. If both inputs are positive, no truncation need occur, so bits is computed as the largest most significant bit between the two inputs.

$\mathrm{with}\left(\mathrm{Bits}\right)\:$

$\mathrm{num1}≔\mathrm{Join}\left(\left[1\,1\,0\,0\,0\,1\,0\,1\,0\,1\,1\,0\,1\,1\,1\right]\right)$

$\mathrm{num1}≔30371$

$\mathrm{num2}≔\mathrm{Join}\left(\left[0\,1\,1\,0\,0\,1\,0\,0\,1\,0\,0\,0\,1\,0\,1\right]\right)$

$\mathrm{num2}≔20774$

$\mathrm{num3}≔\mathrm{Join}\left(\left[0\,1\,1\,1\,1\,1\,1\,0\,1\,0\,0\,1\,1\,0\,1\right]\right)$

$\mathrm{num3}≔22910$

num3,Implies(num1,num2);

$22910,22910$

$\mathrm{Settings}\left(\mathrm{defaultbits}=8\,\mathrm{negativeout}=\mathrm{true}\right)\:$

Implies(-1,12);

$12$

Implies(12,-1);

$\mathrm{-1}$