B: The Basics of Logic Design