<!-- s:?: --><!-- s:?: --> <!-- s:?: --><!-- s:?: --> <!-- s:?: --><!-- s:?: --> how the heck do you use algebra(I'm guessing that's what it is because of the variables for swindlecant and honestant) to solve a logic puzzle? Not all of us are rocket scientists you know.

its not math, its Symbolic logic.

I took a college course on it, it was called Symbolic Logic, but the teacher called it predicate logic...

although the form I know of it is different than what he used.

The version I know:

'^' = and

'v' = or

'~' = not

'->' (an arrow) = if...then

'<->' = if and only if

then an upside down A is 'for every'

and a backwards E is 'there exists'

I know another standard where:

'+' = or

'*' = and

and the rest are the same.

it helps to keep things organized and there are specific rules and such that makes sure you actually prove it in every case. I actually have a program that checks to make sure you prove things correctly using this syntax that I got for free with the book I needed for that class.