AND, OR and NOT gates are electrical devices which implement the corresponding Boolean operations.
Today, gates are built from a few transistors.
We represent the three types of gates symbolically:
Gates are a useful abstractions. Once we are convinced that gates can be built using transistors, we can design
higher-level constructs using gates, without thinking about transistors anymore.