Logic and Boolean Algebra