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)

Symulator obsługuje operatory słowne (AND, OR, NOT, NAND, NOR, XOR, XNOR) oraz symbole. Dla AND użyj & lub *, dla OR — | lub +, dla NOT — ! lub ~, a dla XOR — ^. Działa też zapis podręcznikowy: apostrof na końcu oznacza NOT (A' to NOT A), a sąsiadujące składniki łączy AND, więc AB + A'C oznacza (A AND B) OR (NOT A AND C). Obsługiwane są też implikacja (->) oraz równoważność (<->). Zmienne to pojedyncze litery A–Z bez rozróżniania wielkości liter; można też używać stałych 0 i 1. Nawiasy można dowolnie zagnieżdżać, aby ustalić kolejność działań.

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 symulator potrafi uprościć wyrażenie lub sprawdzić, czy dwa wyrażenia są równoważne?

Tak. W sekcji Uproszczone wyrażenie narzędzie podaje minimalną sumę iloczynów i minimalny iloczyn sum, wyznaczone metodą Quine’a–McCluskeya z dokładnym pokryciem minimalnym. Pokazuje też mapę Karnaugha dla 2–5 zmiennych z kolorowymi obwódkami grup, listy mintermów i makstermów oraz postacie oparte wyłącznie na bramkach NAND i NOR wraz z ich liczbą. Otwórz Porównaj z innym wyrażeniem, aby sprawdzić równoważność i zobaczyć wiersze, w których wyniki się różnią.

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.

Jak zapisać multiplekser 2 do 1 jako wyrażenie boolowskie?

Dla wejść A i B, linii wyboru S i wyjścia Y typowy zapis to Y = (!S AND A) OR (S AND B). Gdy S ma wartość 0, pierwszy składnik przepuszcza A; gdy S ma wartość 1, drugi przepuszcza B. W składni symulatora możesz wpisać !S*A + S*B. Nawiasy mogą pomóc jasno określić zamierzoną kolejność działań.

Dlaczego A AND (B OR C) daje inny wynik niż (A AND B) OR C?

Nawiasy zmieniają sposób grupowania wejść. W wyrażeniu A AND (B OR C) A musi mieć wartość 1, a B lub C musi mieć wartość 1. W wyrażeniu (A AND B) OR C wynik wynosi 1 zawsze, gdy C ma wartość 1, niezależnie od A. Dla A=0, B=0, C=1 pierwsze wyrażenie daje 0, a drugie 1. Używaj nawiasów, aby jasno zapisać zamierzoną logikę.

Czy symulator może pokazać wynik dla wszystkich możliwych kombinacji wejść?

Tak. Z opisu strony wynika, że symulator wypełnia tabelę prawdy dla wyrażeń z maksymalnie pięcioma wejściami. Tabela prawdy podaje wynik dla każdej możliwej kombinacji wartości 0 i 1; przy trzech wejściach ma 2³ = 8 wierszy. Jeśli wyrażenie wykorzystuje więcej zmiennych niż wynosi podany limit, uprość problem lub oblicz go w mniejszych częściach, zanim zaczniesz polegać na kompletnej tabeli.

Narzędzia Elektroniczne:

• Kalkulator Mocy Trójfazowej Nowy
• Kalkulator Timera 555 Nowy
• Kalkulator amperów na waty Popularne
• Kalkulator Długości Anteny Nowy
• Kalkulator żywotności baterii
• Kalkulator Kondensatora Nowy
• Kalkulator Wypełnienia Rury Instalacyjnej Nowy
• Kalkulator decybeli (dB) Popularne
• Kalkulator wielkości generatora Nowy
• Kalkulator impedancji Nowy
• Kalkulator Reaktancji Indukcyjnej Nowy
• Kalkulator kVA Popularne
• Kalkulator Rezystora LED Nowy
• Symulator Bramek Logicznych Popularne
• Konwerter lumenów na waty Nowy
• Kalkulator luksów na lumeny Nowy
• Kalkulator mAh na Wh Nowy
• Kalkulator prawa Ohma
• Kalkulator Rezystancji Równoległej Nowy
• Kalkulator szerokości ścieżki PCB
• Kalkulator Współczynnika Mocy Nowy
• Kalkulator stałej czasowej RC Nowy
• Kalkulator kodu kolorów rezystora
• Kalkulator Rezystorów Szeregowych Nowy
• Kalkulator częstotliwości rezonansowej Nowy
• Kalkulator Oświetlenia Pokoju Nowy
• Kalkulator kondensatorów szeregowych i równoległych Nowy
• Kalkulator Transformatora Popularne
• Kalkulator Dzielnika Napięcia Nowy
• Kalkulator spadku napięcia
• Kalkulator Watów na Ampery Nowy
• Kalkulator przekroju przewodu Nowy