Here's the question you clicked on:
math_proof
compute the truth table for (S^~T)=>(T^~S)
|dw:1355350080890:dw|
does this look good?
if caret(^) means XOR, then yes. I think your table is correct.
Then no. S^~T for S=T and ~T=F would be T OR means if either one is T then the result is T The first and last of both your or operations are supposed to be T. Because one of them is T.
ooo sorry it suppose to be and ^, and v means or