Logic gates are the building blocks of digital circuits; Boolean algebra and the Karnaugh map simplify the expressions that describe them.