Логи́ческий ве́нтиль — базовый элемент цифровой схемы, выполняющий элементарную логическую операцию[1], преобразуя таким образом множество входных логических сигналов в выходной логический сигнал. Логика работы вентиля основана на битовых операциях[2] с входными цифровыми сигналами в качестве операндов. При создании цифровой схемы вентили соединяют между собой, при этом выход используемого вентиля должен быть подключён к одному или к нескольким входам других вентилей. В настоящее время в созданных человеком цифровых устройствах доминируют электронные логические вентили на базе полевых транзисторов, однако в прошлом для создания вентилей использовались и другие устройства, например, электромагнитные реле, гидравлические устройства, а также механические устройства. В поисках более совершенных логических вентилей исследуются квантовые устройства[3][4], биологические молекулы[5], фононные тепловые системы[6].
В цифровой электронике логический уровень сигнала представлен в виде уровня напряжения (попадающего в один из двух диапазонов) или в виде значения тока. Это зависит от типа используемой технологии построения электронной логики[7]. Поэтому любой тип электронного вентиля требует наличия питания для приведения выходного сигнала к необходимому уровню.
Впервые математически точно двоичная система счисления была подробно описана немецким математиком Готфридом Вильгельмом Лейбницем (публикация от 1705 года). Он также разъяснил, как с помощью этой системы можно объединить принципы арифметики и логики.
Первые логические вентили были реализованы механически. В 1837 году английский изобретатель Чарльз Бэббидж разработал вычислительную машину, названную им аналитической (англ. Analytical Engine), которая считается прообразом современного компьютера.
В 1847 году английский математик и логик Джордж Буль в своём трактате «Математический анализ логики» (англ. The Mathematical Analysis of Logic) заложил основы современной алгебры логики, связав её с логикой высказываний. При этом он ввёл свою алгебраическую систему, которая содержала следующие функции: конъюнкция (логическое умножение, оператор «AND»), дизъюнкция (логическое сложение, оператор «OR») и отрицание (оператор «NOT»). Впоследствии данная алгебра была названа булевой.
В том же 1847 году шотландский математик и логик Огастес де Морган опубликовал правила, связывающие пары логических операций при помощи логического отрицания (Законы де Моргана).