Binary Subtraction Truth Table