Symulator Bramek Logicznych

O Symulator Bramek Logicznych

Symulator Bramek Logicznych to darmowy piaskownik online do układów logiki cyfrowej. Wpisz dowolne wyrażenie logiczne używając bramek AND, OR, NOT, NAND, NOR, XOR i XNOR, a symulator natychmiast przekształci je w schemat obwodu, narysuje diagram, wypełni pełną tablicę prawdy dla maksymalnie 5 wejść i pozwoli Ci zmieniać każde wejście jednym kliknięciem, aby obserwować propagację sygnału w czasie rzeczywistym. Narzędzie jest przeznaczone dla studentów uczących się elektroniki cyfrowej, inżynierów prototypujących układy kombinacyjne oraz każdego, kto chce przetestować wyrażenie Boole'a przed przeniesieniem go na płytkę stykową, schemat lub kod HDL.

Co to jest bramka logiczna?

Bramka logiczna to podstawowy element konstrukcyjny układu cyfrowego: element elektroniczny, który przyjmuje jedno lub więcej wejść binarnych (każde o wartości 0 lub 1, często nazywanych stanem NISKIM i WYSOKIM) i generuje jedno wyjście binarne określone przez stałą funkcję logiczną. Bramki logiczne są implementowane w krzemie jako sieci tranzystorów — zazwyczaj CMOS — i są fizyczną realizacją algebry Boole'a. Każdy komputer, smartfon i sterownik cyfrowy to w ostateczności kompozycja miliardów tych siedmiu podstawowych bramek.

Siedem podstawowych bramek w skrócie

Bramka AND (iloczyn logiczny)

Wyjście wynosi 1 tylko wtedy, gdy wszystkie wejścia mają wartość 1 — można o niej myśleć jak o szeregowym połączeniu przełączników. Służy do wymuszania wielu warunków, maskowania bitów i implementacji koniunkcji logicznej. Standardowy układ: 7408 (cztery 2-wejściowe bramki AND).

Bramka OR (suma logiczna)

Wyjście wynosi 1, gdy przynajmniej jedno wejście ma wartość 1 — można o niej myśleć jak o równoległym połączeniu przełączników. Stosowana w układach alarmowych, ustawianiu bitów i alternatywie logicznej. Standardowy układ: 7432.

Bramka NOT (inwerter)

Bramka z jednym wejściem, która po prostu zamienia 0 na 1 i 1 na 0. Służy do negowania sygnałów, generowania linii komplementarnych i jako aktywny element CMOS. Standardowy układ: 7404.

Bramka NAND

Negacja AND — daje 0 tylko wtedy, gdy wszystkie wejścia mają wartość 1. NAND jest bramką uniwersalną: każdą funkcję logiczną można zbudować wyłącznie z bramek NAND, dlatego NAND dominuje w masowo produkowanych układach CMOS. Standardowy układ: 7400.

Bramka NOR

Negacja OR — daje 1 tylko wtedy, gdy każde wejście ma wartość 0. Również bramka uniwersalna. Słynna jako podstawowa bramka komputera naprowadzającego Apollo (AGC), zbudowanego w całości z 3-wejściowych bramek NOR. Standardowy układ: 7402.

Bramka XOR

Exclusive OR (alternatywa wykluczająca) daje 1, gdy nieparzysta liczba wejść ma wartość 1. Kluczowa w sumatorach binarnych (bit sumy), generatorach parzystości, komparatorach i funkcji rundy AES. Standardowy układ: 7486.

Bramka XNOR

Negacja XOR — daje 1, gdy wejścia są równe. Często nazywana bramką równoważności i używana jako jednobitowy komparator. Standardowy układ: 74266.

Jak korzystać z tego symulatora

1. Wpisz lub zbuduj wyrażenie w polu wejściowym na górze. Możesz pisać bezpośrednio lub klikać przyciski na klawiaturze dla zmiennych i operatorów. Akceptowana jest zarówno składnia słowna (AND, OR, NOT), jak i symboliczna (&, |, !, ^).
2. Kliknij Symuluj. Symulator przeanalizuje wyrażenie, sprawdzi składnię, wyodrębni zmienne i obliczy wyjście dla każdej kombinacji (do 32 wierszy dla 5 wejść).
3. Przełączaj wejścia nad schematem obwodu. Każdy przełącznik jest klikalnym przyciskiem zmieniającym stan między 0 a 1; obwód aktualizuje się w czasie rzeczywistym, podświetlając aktywne przewody na czerwono i zapalając zieloną diodę wyjścia, gdy Y = 1.
4. Odczytaj tablicę prawdy. Każda możliwa kombinacja wejść jest wymieniona obok swojego wyjścia; wiersz odpowiadający aktualnemu stanowi przełączników jest podświetlony.
5. Sprawdź formy kanoniczne. Symulator wypisuje ekwiwalenty Sumy Iloczynów i Iloczynu Sum — punkt wyjścia dla minimalizacji tablicami Karnaugha lub metodą Quine'a-McCluskeya.
6. Prześledź ewaluację. Panel krok po kroku pokazuje, jak wyrażenie redukuje się bramka po bramce dla przykładowego wejścia, co jest szczególnie przydatne przy debugowaniu zagnieżdżonych wyrażeń.

Akceptowana składnia wyrażeń

• Zmienne: pojedyncze litery od A do Z (małe litery są automatycznie zamieniane na wielkie). Maksymalnie 5 różnych zmiennych w wyrażeniu.
• Stałe: 0, 1, lub TRUE/FALSE.
• Operatory słowne: AND, OR, NOT, NAND, NOR, XOR, XNOR (wielkość liter nie ma znaczenia).
• Operatory symboliczne: & lub * dla AND, | lub + for OR, ! lub ~ dla NOT, ^ dla XOR.
• Grupowanie: nawiasy ( ) można dowolnie zagnieżdżać.
• Priorytet (od najwyższego do najniższego): NOT > AND/NAND > XOR/XNOR > OR/NOR. W razie wątpliwości używaj nawiasów.

Dlaczego warto sprawdzić te przykłady

Funkcja większościowa (3-wejściowa)

(A AND B) OR (A AND C) OR (B AND C) — wyjście wynosi 1, gdy przynajmniej dwa z trzech wejść mają wartość 1. Jest to serce układów głosujących o potrójnej redundancji modularnej (TMR), stosowanych w lotnictwie i systemach odpornych na awarie.

Multiplekser 2-do-1

(A AND NOT S) OR (B AND S) — gdy linia wyboru S wynosi 0, wyjście przekazuje A; gdy S wynosi 1, przekazuje B. Multipleksery stanowią szkielet ścieżek danych, a tablice LUT w układach FPGA to dosłownie kaskady multiplekserów.

Kontrola parzystości 3-bitowej

A XOR B XOR C — daje 1, gdy nieparzysta liczba wejść ma wartość 1. Kontrolery parzystości są używane do wykrywania błędów w pamięci RAM, komunikacji UART i macierzach RAID.

Półsumator

Bit sumy 1-bitowego sumatora to A XOR B; bit przeniesienia to A AND B. Połączenie ich tworzy sumator z przeniesieniem równoległym (ripple-carry adder), będący arytmetycznym sercem każdego procesora.

Podstawy algebry Boole'a

Główne tożsamości

• Tożsamość: A + 0 = A; A · 1 = A
• Element neutralny (Null): A + 1 = 1; A · 0 = 0
• Idempotentność: A + A = A; A · A = A
• Dopełnienie: A + ¬A = 1; A · ¬A = 0
• Podwójna negacja: ¬(¬A) = A
• Prawa De Morgana: ¬(A · B) = ¬A + ¬B; ¬(A + B) = ¬A · ¬B
• Rozdzielność: A · (B + C) = (A · B) + (A · C)
• Absorpcja: A + (A · B) = A; A · (A + B) = A

Suma Iloczynów (SOP)

Weź każdy wiersz, w którym wyjście wynosi 1, zapisz go jako iloczyn zmiennych (bez negacji dla 1, z negacją dla 0) i połącz je operatorem OR. Każda funkcja logiczna ma unikalną formę SOP — symulator wypisuje ją automatycznie.

Iloczyn Sum (POS)

Dopełnienie SOP: weź każdy wiersz, w którym wyjście wynosi 0, zapisz go jako sumę z zanegowanymi wejściami o wartości 1 i prostymi wejściami o wartości 0, a następnie połącz wszystkie czynniki operatorem AND. Przydatne, gdy funkcja ma więcej jedynek niż zer.

Zastosowania bramek logicznych w świecie rzeczywistym

• Jednostki arytmetyczno-logiczne (ALU): sumatory, układy odejmujące, komparatory wewnątrz każdego procesora.
• Komórki pamięci: przerzutniki SR, D, JK i T to kompozycje bramek NAND lub NOR.
• Enkodery i dekodery: tłumaczenie między reprezentacją "jeden z wielu" a binarną w dekoderach adresów i sterownikach wyświetlaczy.
• Logika sterowania: automaty skończone, sterowniki sygnalizacji świetlnej, automaty sprzedające.
• Wykrywanie błędów: kontrolery parzystości, silniki CRC, koder kodu Hamminga.
• Kryptografia: XOR jest podstawową operacją w szyfrach strumieniowych i funkcjach rund szyfrów blokowych.
• Układy FPGA: tablice LUT implementują dowolne sieci bramek poprzez bezpośrednie przechowywanie tablicy prawdy.

Wskazówki do czytania schematu obwodu

• Wejścia to okrągłe terminale po lewej stronie, oznaczone nazwą zmiennej i aktualną wartością.
• Bramki używają standardowych symboli ANSI/IEEE: kształt litery D dla AND, zakrzywiona tarcza dla OR, trójkąt z kółkiem dla NOT itd. Małe kółko na wyjściu oznacza warianty zanegowane (NAND, NOR, XNOR).
• Przewody są kodowane kolorami: czerwony (z subtelnym blaskiem) przy przenoszeniu wartości 1, niebieski przy przenoszeniu 0.
• Wyjście pojawia się na prawej krawędzi jako wypełnione zielone koło, gdy Y = 1, lub ciemnoszare, gdy Y = 0.

Często zadawane pytania

Jakich operatorów mogę używać w wyrażeniu logicznym?

Symulator akceptuje zarówno operatory słowne (AND, OR, NOT, NAND, NOR, XOR, XNOR), jak i operatory symboliczne. Użyj & lub * dla AND, | lub + dla OR, ! lub ~ dla NOT oraz ^ dla XOR. Zmienne to pojedyncze litery od A do Z (wielkość liter nie ma znaczenia), a 0 i 1 są akceptowane jako stałe. Nawiasy można dowolnie zagnieżdżać, aby kontrolować kolejność obliczeń.

Jaka jest różnica między bramkami NAND i NOR?

NAND (NOT AND) daje na wyjściu 1, gdy iloczyn logiczny (AND) jego wejść wynosi 0 — czyli w każdym przypadku, z wyjątkiem sytuacji, gdy wszystkie wejścia mają wartość 1. NOR (NOT OR) daje 1 tylko wtedy, gdy każde wejście ma wartość 0. Obie bramki nazywane są bramkami uniwersalnymi, ponieważ każdą funkcję logiczną można zbudować używając wyłącznie bramek NAND lub wyłącznie bramek NOR, dlatego są one podstawowymi elementami układów scalonych CMOS.

Dlaczego XOR daje 1 dla nieparzystej liczby wejść o wartości 1?

XOR (exclusive OR) daje 1, gdy jego dwa wejścia się różnią. Połączone szeregowo bramki XOR działają jako kontroler parzystości: wyjście wynosi 1, gdy całkowita liczba wejść o wartości 1 jest nieparzysta, i 0, gdy jest parzysta. Dlatego bramki XOR są stosowane w generatorach parzystości, układach wykrywania błędów oraz w wyjściu sumy sumatorów binarnych.

Ile zmiennych może obsłużyć symulator?

Symulator obsługuje do 5 różnych zmiennych, co daje maksymalnie 32 wiersze tablicy prawdy. Limit ten pozwala zachować czytelność pełnej tablicy prawdy i przejrzystość schematu obwodu. Jeśli wkleisz wyrażenie z więcej niż 5 zmiennymi, narzędzie poprosi o jego uproszczenie.

Co to jest forma Sumy Iloczynów?

Suma Iloczynów (SOP) to kanoniczna forma logiczna, w której wyrażenie jest zapisane jako suma logiczna (OR) wyrazów będących iloczynami logicznymi (AND). Każdy składnik AND odpowiada wierszowi tablicy prawdy, którego wyjście wynosi 1. SOP jest bezpośrednim sposobem na przełożenie tablicy prawdy z powrotem na wyrażenie logiczne i stanowi punkt wyjścia dla minimalizacji metodą tablic Karnaugha lub Quine'a-McCluskeya.

Czy mogę używać tego narzędzia do projektowania prawdziwego sprzętu?

Tak — symulator jest przydatny do nauki logiki cyfrowej, zadań domowych, prototypowania na płytkach stykowych z układami scalonymi serii 74 oraz wstępnego badania projektów dla FPGA lub ASIC. Schemat obwodu pokazuje liczbę bramek i strukturę, co pomaga oszacować liczbę potrzebnych układów lub wykorzystanie tablic LUT przed przejściem do edytora schematów.

Dalsza lektura

• Bramka logiczna — Wikipedia
• Algebra Boole'a — Wikipedia
• Tablica Karnaugha — Wikipedia
• Prawa De Morgana — Wikipedia
• CMOS — Wikipedia