This Wikipedia article in on Bell's Theorem lists a whole bunch of expectation values for Bell states: $$\langle A_0 \otimes B_0 \rangle = \frac{1}{\sqrt{2}}, \langle A_0 \otimes B_1 \rangle = \frac{1}{\sqrt{2}}, \langle A_1 \otimes B_0 \rangle = \frac{1}{\sqrt{2}}, \langle A_1 \otimes B_1 \rangle = -\frac{1}{\sqrt{2}} \, . $$ The state to which these operators are applied, the "Bell state", is given as: $$\psi\rangle = \frac{|01\rangle - |10\rangle}{\sqrt{2}} .$$ |01> refers to a two particle system with the first particle spin down and the second particle spin up. So the tensor operators would apply the left hand of the tensor product to particle 1, and the right side of the tensor product to particle 2.
The Operators are given by: $$A_0 = \sigma_z = \begin{pmatrix}1 & 0 \\ 0 & -1\end{pmatrix},\ A_1 = \sigma_x = \begin{pmatrix}0 & 1 \\ 1 & 0 \end{pmatrix};$$
and
$$B_0 = -\frac{\sigma_x + \sigma_z}{\sqrt{2}},\ B_1 = \frac{\sigma_x - \sigma_z}{\sqrt{2}} .$$
I find the prospect of calculating these expectation values by hand pretty horrific. Can Mathematica do this in some way?