compute bit-wise implies of the inputs
Implies(num1, num2, options)
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.
num1 ≔ Join⁡1,1,0,0,0,1,0,1,0,1,1,0,1,1,1
num2 ≔ Join⁡0,1,1,0,0,1,0,0,1,0,0,0,1,0,1
The following number represents the Implies of num1,num2
num3 ≔ Join⁡0,1,1,1,1,1,1,0,1,0,0,1,1,0,1
Negative inputs and outputs
Download Help Document