蘊含閘

蘊含閘[1]（英語：，簡稱）[2]是數位邏輯電路中的一種邏輯閘，主要用來完成布林代數中實質條件、實質蘊涵或蘊涵算子。

蘊含閘（IMPLY gate）的電路符號

蘊含閘可由CMOS或其他電晶體設計，利用如下公式：

Q=A\to B={\overline {(A\land {\overline {B}})}}={\overline {A}}\lor B

另外蘊含閘也可以由憶阻器組成，且只需要由兩個憶阻器即可組成[3][4]，由於布林代數的特性可使其他布林函數化成由邏輯蘊含表示[5]，因此利用蘊含閘與憶阻器來設計電晶體可以大幅縮小體積[6]。

兩個憶阻器即可完成一個蘊含閘[7][8]。

性質

如果B為邏輯真, 無論A為任何值都會輸出邏輯真的訊號。

如果B為邏輯假, 並且A為邏輯假, 才会輸出邏輯真的訊號。

其余情況則輸出邏輯假的訊號。

蘊含閘可以用來判斷兩輸入的或是否為第二輸入。

表达式

符號

功能表

ANSI/IEEE

IEC

Y=A\to B

Y={\overline {(A\land {\overline {B}})}}

Y={\overline {A}}\lor B

使用蘊含閘組合成的

大部分的邏輯閘都可以用蘊含閘組合而成，例如可以用兩個蘊含閘組合而成[9]：

{\begin{aligned}A\to (B\to 0)&={\overline {A}}\lor ({\overline {B}}\lor 0)\\&={\overline {A}}\lor {\overline {B}}\\&={\overline {A\land B}}\\&=A{\bar {\curlywedge }}B\end{aligned}}

蘊含非閘，簡稱是數位邏輯電路中實現非蘊涵的一種邏輯閘。

這種運作方式的元件已在生物學的邏輯信號中有相關研究。[10]

表达式

符號

功能表

ANSI/IEEE

IEC

Y=A\to B

Y=\lnot (a\to b)

Y=a\land \lnot b

電腦名詞譯名 Implies gate→蘊含閘 iicm.org.tw [2015-9-30]
. 國家教育研究院. [2019-04-09].
imply gate 页面存档备份，存于 zigwap.com [2015-9-30]
可配置性憶阻器現身　CPU掰掰雙憶阻元件實現蘊含閘 eettaiwan.com [2015-9-30]
Imply Logic Implementation of Carry Save Adder Using Memristors ijera.com [2015-9-30]
Kanellos, Michael. . CNET News.com. 2008-04-30 [2008-04-30].
Gregory S.;Stewart Duncan R.;Williams R. Stanley Strukov,Dmitri B.;Snider. The missing memristor found.Nature, 453:80–83, may 2008, [2015-9-30]
Memristor-Based Material Implication IMPLY Logic: Design Principles and Methodo logies 页面存档备份，存于 technion.ac.il [2015-10-1]
Disclosing the secrets of memristors and implication logic web.cecs.pdx.edu [2015-9-30]
Design and processing performance of synthetic N-IMPLY gates in human cells. From Programmable single-cell mammalian biocomputers Simon Ausländer, David Ausländer, Marius Müller, Markus Wieland & Martin Fussenegger Nature (2012) doi:10.1038/nature11149

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.