IMPLY ворота

Вход А Б		Выход А → Б
0	0	1
0	1	1
1	0	0
1	1	1

— Вентиль IMPLY это цифровой логический вентиль , реализующий логическое условие .

Символы

IMPLY можно обозначить в алгебраических выражениях с помощью логического символа, направленного стрелкой вправо (→). Логически это эквивалентно материальной импликации и логическому выражению ¬A v B.

Для вентилей IMPLY используются два символа: традиционный символ и символ IEEE . Для получения дополнительной информации см. Символы логических элементов .

Традиционный символ IMPLY		Символ IEEE IMPLY

Функциональная полнота

Хотя ворота импликации сами по себе функционально не завершены , они связаны с источником постоянного 0. Это можно показать с помощью следующего:

${\begin{aligned}A\rightarrow 0&:=\neg A\\(A\rightarrow 0)\rightarrow B&=\neg (\neg A)\lor B\\&=A\lor B.\end{aligned}}$

Таким образом, поскольку логический элемент импликации с добавлением источника постоянного 0 может создавать как логический элемент НЕ, так и логический элемент ИЛИ, он может создать логический элемент ИЛИ, который является универсальным логическим элементом.

См. также

• НИМПЛЫ ворота
• И ворота
• НЕ ворота
• И-НЕ-ворота
• НО-ворота
• исключающее ИЛИ-вентиль
• XNOR-ворота
• Булева алгебра (логика)
• Логические вентили