added xor defintion and couple of theorems