Bramka NAND

Bramka NAND (dysjunkcja) – bramka logiczna, która realizuje funkcję NAND. Znaczenie bramki przedstawia poniższa tablica prawdy:

symbol bramki NAND

A	B	AB
0	0	1
0	1	1
1	0	1
1	1	0

Bramki NAND wykorzystywane są – obok bramek NOR – w pamięciach flash. W stosunku do pamięci NOR pamięć NAND ma krótszy czas zapisu i kasowania, większą gęstość upakowania danych, korzystniejszy stosunek kosztu pamięci do jej pojemności oraz dziesięciokrotnie większą wytrzymałość.

Bramki NAND wytwarzane są w technologii CMOS i TTL.

• 
  schemat bramki NAND CMOS
• 
  schemat bramki NAND TTL
• 
  budowa bramki NAND CMOS

Sposoby zapisu bramki NAND

• $A\uparrow B$ – przedstawiana za pomocą symbolu ↑ (pionowa kreska „|” przechodząca przez symbol koniunkcji „^” dwóch argumentów, co oznacza jej logiczną negację)
• $ANANDB$
• $A$ ⊼ $B$ – z użyciem symbolu ⊼ (U+22BC)
• $\overline{A\wedge B}$ – symbol $\wedge$ oznacza koniunkcję (AND) natomiast kreska negację wyrażenia znajdującego się pod nią
• $\mathrm{\neg }(A\wedge B)$ – jak wyżej z użyciem symbolu negacji ¬
• $\overline{AB}$ lub $\overline{A\cdot B}$ – zanegowany iloczyn logiczny

Wyrażanie funkcji boolowskiej w logice NAND

Jako że bramki logiczne NAND i NOR są tańsze w produkcji niż AND i OR, a ponadto zapewniają stałość amplitudy sygnału wyjściowego, w faktycznych układach cyfrowych są one stosowane częściej niż „zwykłe” AND i OR.

Korzystając z praw de Morgana, możemy każdą funkcję boolowską przekształcić tak, aby korzystała tylko z bramek NAND.

Negacja (NOT)

Korzystając z jednego z aksjomatów algebry Boole’a:

$a*a=a$

Zapisać możemy równoważnie, że:

$Q=\overline{AA}=\bar{A}$

Co jest negacją zmiennej wejściowej.

W innym zapisie:

$\mathrm{\neg }A=A$ ⊼ $A$

Alternatywa (OR)

Skorzystamy tutaj z pierwszego prawa de Morgana, które w ujęciu algebry Boole’a przyjmuje postać:

$\overline{AB}=\bar{A}+\bar{B}$

Tak więc podając na wejście bramki NAND zanegowane zmienne wejściowe otrzymujemy alternatywę tych zmiennych, co wyraża poniższe równanie:

$Q=\overline{\stackrel{‾}{A}*\stackrel{‾}{B}}=\overline{\stackrel{‾}{A}}+\overline{\stackrel{‾}{B}}=A+B$

W innym zapisie:

$A\vee B=\mathrm{\neg }A$ ⊼ $\mathrm{\neg }B=(A$ ⊼ $A)$ ⊼ $(B$ ⊼ $B)$

Koniunkcja (AND)

W przypadku koniunkcji jedynym wyjściem jest zanegowanie wyjścia bramki NAND, jako że podwójna negacja zmiennej daje tę samą zmienną.

$Q=\overline{\stackrel{‾}{AB}}=AB$

W innym zapisie:

$A\wedge B=\mathrm{\neg }(A$ ⊼ $B)=(A$ ⊼ $B)$ ⊼ $(A$ ⊼ $B)$

Alternatywa wykluczająca (XOR)

Układ realizujący funkcję XOR z bramek NAND budujemy w oparciu o wyjściowe równanie funkcji XOR wykorzystując przekształcenia pokazane wyżej:

$Q=A\oplus B=(A+B)(\overline{AB})=(\overline{\stackrel{‾}{A}*\stackrel{‾}{B}})(\overline{AB})$

W innym zapisie:

$A\oplus B=(A\vee B)\wedge (A$ ⊼ $B)=\{[(A$ ⊼ $A)$ ⊼ $(B$ ⊼ $B)]$ ⊼ $(A$ ⊼ $B)\}$ ⊼ $\{[(A$ ⊼ $A)$ ⊼ $(B$ ⊼ $B)]$ ⊼ $(A$ ⊼ $B)\}$

Zobacz też

• rachunek zdań
• prawa rachunku zdań
• binegacja (NOR)
• implikacja
• negacja
• równoważność
• algebra Boole’a
• bramki logiczne