Just to (hopefully) make the distinction a bit more clear:
A true copying operation would take |psi1>|0> to |psi1>|psi1>; that’s to say, it would take as input one qubit in an arbitrary quantum state and a second qubit in |0>, and output two qubits in the same arbitrary quantum state that the first qubit was in. For our example, we’ll take |psi1> to be an equal superposition of 0 and 1: |psi1> = |0> + |1> (ignoring normalization).
If CNOT is a copying operation, it should take (|0> + |1>)|0> to (|0> + |1>)(|0> + |1>) = |00> + |01> + |10> + |11>. But as you noticed, what it actually does is create an entangled state (in this case, a Bell state) that looks like |00> + |11>.
So in some sense yes, the forbidden thing is to have a state copied and not entangled, but more importantly in this case CNOT just doesn’t copy the state, so there’s no tension with the no-cloning theorem.
Just to (hopefully) make the distinction a bit more clear:
A true copying operation would take |psi1>|0> to |psi1>|psi1>; that’s to say, it would take as input one qubit in an arbitrary quantum state and a second qubit in |0>, and output two qubits in the same arbitrary quantum state that the first qubit was in. For our example, we’ll take |psi1> to be an equal superposition of 0 and 1: |psi1> = |0> + |1> (ignoring normalization).
If CNOT is a copying operation, it should take (|0> + |1>)|0> to (|0> + |1>)(|0> + |1>) = |00> + |01> + |10> + |11>. But as you noticed, what it actually does is create an entangled state (in this case, a Bell state) that looks like |00> + |11>.
So in some sense yes, the forbidden thing is to have a state copied and not entangled, but more importantly in this case CNOT just doesn’t copy the state, so there’s no tension with the no-cloning theorem.