Logic gates are basic building blocks of digital circuits that perform logical functions on combinations of digital signals. There are three basic logic gates: OR gates output high if any input is high; AND gates output high only if all inputs are high; NOT gates output the inverse of their single input. More complex gates like NAND and NOR gates can be constructed by combining basic gates and are considered universal gates as they can implement any Boolean logic function.