Logic gates are electronic circuits that combine multiple inputs to produce an output. There are several types of logic gates that process inputs differently, including AND, OR, NOT, NAND, NOR, XOR, and XNOR gates. Each gate is characterized by its symbol, truth table that specifies the output for every combination of inputs, and Boolean expression that defines its function.