(13/10/2011 09:58 PM)Tetris999 Wrote:  Dayum~! That's really good.

Not really, you just need to do some programming and daisy chain a heap of logical statements together to look 1337.  Also make sure to use confusing variable names like "foo" and "lolz".  In reality this is a bad idea since it makes it more difficult for someone else to understand your code, and also more prone to error but I still do it nonetheless.
End result is that it's much easier to work out complex logic statements.

(13/10/2011 09:58 PM)Tetris999 Wrote:  Supposedly people are throwing around the rumors that proofs are really hard, though I haven't got to the point where they say "prove x is greater than this and lower than this" type of stuff.

Haven't done this in years, but if it's what I recall, these things are kinda like solving a maze.

(13/10/2011 09:58 PM)Tetris999 Wrote:  I really love logic class though, specially when you build circuits that calculate different things by 1's and 0's

 (OH EM GEE I KNOW WHATZ THEY MEAN NOW, 1337 HACKUR LANGAGE) 

Essentially leads on to assembly code.
Use logic gates to make certain function circuits, eg add two numbers together; put a few together and you have an arithmetic logic unit (the "brains" of a CPU).