The Gottesman--Knill theorem states that stabilizer-state preparation, Clifford circuits, and adaptive measurements of Pauli observables can be simulated in classical polynomial time. For , choose generators , , and . With each row written as , its sign-free stabilizer tableau is
Conjugating these generators successively by , , and gives , , and . Hence the output tableau, again ignoring signs, is