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
num1 ≔ 30371
num2 ≔ Join⁡0,1,1,0,0,1,0,0,1,0,0,0,1,0,1
num2 ≔ 20774
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
num3 ≔ 22910
Negative inputs and outputs
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.