Gerbang universal adalah rangkaian gerbang logika yang dapat membentuk
atau mewakili rangkaian logika, gerbang tertentu hanya dengan menggunakan gerbang yang sejenis. Misalnya dengan menggunakan gerbang-gerbang NAND maka dapat membentuk mewakili gerbang-gerbang logika dasar AND, !", #$!" % N!& gate. Gerbang-gerbang N!" juga dapat membentuk mewakili gerbang-gerbang logika dasar seperti AND, !" % N!& gate.