Why does the Toffoli gate output c XOR (a AND b) instead of just a AND b?
As the comments said, if it worked like i asked, it would neither be reversible, nor a unitary matrix.

Both things are required for quantum computing!