Подразумеваемый шлюз

Цифровой логический вентиль

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

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

Символы

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

Для IMPLY gates есть два символа: традиционный символ и символ 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 может создать как вентиль НЕ, так и вентиль ИЛИ, он может создать вентиль ИЛИ-НЕ, который является универсальным вентильом.

Смотрите также

Эта статья по вычислительной технике — заглушка . Вы можете помочь Википедии, расширив ее.