Today, November 2nd 2015 marks George Boole’s 200th birthday.
So an appropriate day to look at logic!
For some useful Logic notes, have a look at these published on zweigmedia.com:
Supplementary Chapters to Accompany Finite Mathematics by Stefan Waner & Steven R Costenoble
See also Logic notes from the Centre for Innovation in Mathematics Teaching
Note this Finite Mathematics & Applied Calculus website has extensive resources for students.
and you can use WolframAlpha for some logic queries: