Truth table for the Boolean function $f(x,y) = x \oplus xy$ - Conflict with answer computed by sagemath
The truth table
\begin{array}{|c|c|c|} \hline
x &amp; y &amp; xy &amp; x \oplus xy \\ \hline
1 &amp; 1 &amp; 1 &amp;  0 \\ \hline
1 &amp; 0 &amp; 0 &amp;  1 \\ \hline
0 &amp; 1 &amp; 0 &amp;  0 \\ \hline
0 &amp; 0 &amp; 0 &amp;  0 \\ \hline
\end{array}
and you can use Boolean formulas
f = propcalc.formula(&quot;x ^x&amp;y&quot;)
f.truthtable()

outputs
x      y      value
False  False  False  
False  True   False  
True   False  True   
True   True   False