The gate
Circuit
Truth table — computational basis inputs
State vector & tensor product
Probability output