Your first and last logic levels seems contradictory! for a-b as 1-0, you hav output as 1 and 0 respectively.. i.e you have two outputs for same condition of inputs.. which is not logical at all! Are there any other conditions? Or are the inputs sequential?