I can use boolean algebra to manipulate the overflow logic: v=(~ (source xor destination)) and (source xor result) into the logic given in table 3-18 of the motorolla programmer reference manual: v= (source and destination and ~result) or (~source and ~destination and result).