This is a screenshot from my lecture:
Why does the $\text{CNOT}$ here output $a ⊕ b$? Does the "$⊕$" operation even make sense for a quantum state?
Consider action of the $\text{CNOT}$ on the basis states $\{ |00\rangle,|01\rangle,|10\rangle,|11\rangle \}\,.$
$$|00\rangle \to |00\rangle \,, $$ $$|01\rangle \to |01\rangle \,, $$ $$|10\rangle \to |11\rangle \,, $$ $$|11\rangle \to |10\rangle \,. $$
Now, comparing this with $|ab\rangle$, You can observe that $$|a,b\rangle \to |a, a\oplus b\rangle \,. $$
Hence, the notation makes sense. $\text{CNOT}$ keeps the control qubit as it is and performs the $\text{XOR}$ operation of two states and outputs the result in the second, the target qubit.