Mantık Kapıları — Sözlük
Sayısal mantıkta mantık kapıları ile ilgili 20 temel terim ve tanımları. Her terimi nandbench simülatöründe canlı görebilirsin.
Kapı
Boole mantığıyla giriş→çıkış eşleyen ilkel — VE, VEYA, DEĞİL, NAND, NOR, XOR, XNOR, tampon. Tüm kombinasyonel devreler kapılara ayrışır.
Çevirici (NOT)
1-girişli kapı; çıkışı girişinin mantıksal tümleyeni. Ucunda kabarcık olan üçgen olarak çizilir.
Buffer (tampon)
Mantıksal olarak pas-geç (out = in) ama gerçek dünyada yayılım gecikmesi ve sürüş gücü taşır. nandbench'ta çoğunlukla fan-out artırma ya da tri-state kapılama için kullanılır.
AND (VE)
Çıkış yalnızca tüm girişler 1 olduğunda 1'dir. Boole: y = a · b. Seri iki AND, 3-girişli AND eder; nandbench'in yerleşik kapısı istenen sayıda girişi destekler.
OR (VEYA)
Çıkış en az bir giriş 1 iken 1'dir. Boole: y = a + b. AND ile birleşince çarpımların toplamı formunu kurar.
XOR (özel veya)
Çıkış, 1 olan giriş sayısı tek olduğunda 1'dir. "Kontrollü çevirici" gibi davranır ve yarı-toplayıcının toplam bitidir.
NAND
AND'in çevricisi. Evrenseldir: yalnız NAND'lerle her Boole fonksiyonu inşa edilebilir. CMOS'ta ucuz ve hızlı; tarihi TTL çiplerin çoğu NAND merkezliydi.
NOR
OR'un çevricisi. O da evrenseldir. Çapraz bağlı bir NOR çifti klasik SR-mandallıdır.
XNOR
XOR'un çevricisi — girişler eşitse 1 verir. 1-bitlik eşitlik karşılaştırıcısı bir XNOR'dur.
Evrensel kapı
Yalnız kendi kopyalarıyla her Boole fonksiyonunu üretebilen kapı. NAND ve NOR evrenseldir; AND, OR, NOT tek başlarına değildir.
Boole cebri
İki-değerli mantığın cebri. AND (·), OR (+), NOT (¯) işlemleri + yasalar (birleşme, dağılma, De Morgan) ifadeleri silikona inmeden sadeleştirmeni sağlar.
De Morgan kuralları
NOT(A·B) = NOT(A)+NOT(B) ve NOT(A+B) = NOT(A)·NOT(B). "Kabarcığı taşı" hilesi: AND-OR yapılarını yalnızca NAND ya da yalnızca NOR olan ağlara çevirir.
Çarpımlar toplamı (SOP)
Standart form: doğruluk tablosundaki her 1 satırı için bir AND terimini OR'la. 2-seviyeli AND-OR (ya da eşdeğer NAND-NAND) ağına direkt eşlenir.
Toplamlar çarpımı (POS)
Standart form: doğruluk tablosundaki her 0 satırı için bir OR terimini AND'le (girişler terslenmiş hâliyle). SOP'un duali — 0 satırı az olduğunda daha az kapı çıkar.
Karnaugh haritası (K-map)
Bitişik hücrelerin tek bit farkıyla dizildiği doğruluk tablosu yerleşimi — minterm gruplarını görsel olarak en kısa örtmeye sarmak için. 4–5 değişkene kadar pratiktir.
Önemsiz (don't-care)
Çıkışın umursanmadığı doğruluk-tablo hücresi — genelde o girişin asla oluşmayacağı için. K-map küçültmesinde X'i 0 ya da 1 olarak alıp grupları büyütebilirsin.
Minterm
Yalnız bir doğruluk-tablo satırında 1 olan çarpım terimi. SOP, mintermlerin disjonksiyonudur; her minterm bir satırı "isimlendirir."
Maxterm
Yalnız bir doğruluk-tablo satırında 0 olan toplam terimi. POS maxtermlerin konjonksiyonudur — minterm bakışının dualidir.
Literal
Bir değişken ya da tümleyeni (A veya A̅). İki-seviye küçültmede maliyet ölçütü literal sayımıdır.
Doğruluk tablosu
Bir mantık parçasının tüm giriş kombinasyonları ve beklenen çıkışları listesi. Challenge modu spec'in tablo satırlarını tek tek koşarak devreni puanlar.