Applied Boolean Algebra, second edition