What can you replace b1 XOR b2 ? I tried using deMorgan's Laws. Is it b1 != b2 ?
That certainly gives the same truth table, but I'm not familiar with != as a logical operator (I know it means "not equal to" in Comp Sci, but not in mathematical logic). I would think it would be:
But maybe your book uses different notation. Anyway, you're right.
b1 XOR b2 is True in one of the two is true and the other false. It is False if they are both true or both false. It is equivalent to "((NOT b1) AND (b2)) OR ((b1) AND (NOT b2))" which is exactly the same as 'b1 NOT EQUAL b2".
this is for comp sci. not logic.
Well, there you go!
Separate names with a comma.