Propositional Logic for Beginners (Or how I learnt to stop worrying and love the tautology)

Lots of programmers work with boolean logic on a day to day basis, but have little understanding of maths behind the logic, and the relationships between the symbols and the code. Gain a basic understanding of propositional logic and learn how to apply some principals of reduction and optimisation to your own code.