>>12213506np, now just to go a bit further, imagine if I were to put all that babble into mathematical form. the four case presented become:
A and B (if a is true and b is true, then I said the truth)
~A and B (if A is not true and B is true, then I said the truth)
~A and ~B (if A is not true and B is not true, then I said the truth)
and finally
~(A and ~B) (If A is true and B is not true, then I lied, represented by the ~ in front of the parenthesis)
Now you combine all of those conditions:
(A and B) or (~A and B) or (~A and ~B) or ~(A and ~B)
Now, if you were to simplify the above expression, what do you end up with? you end up with
>>12213355