The inverse of OP_NUMEQUAL, OP_NUMNOTEQUAL checks whether the top two items on the stack are numerically unequal. It pushes 1 (true) if they are not equal, and 0 (false) if they are equal. This opcode is used in conditions where inequality is a key factor in the script's logic.
OP_Code Walkthrough
Compares the top two items of the stack for inequality
Pop Top Item a
Pop Top Item b
Check if a is not equal to b
Push Result