Tablice prawdy: jak myśli komputer?
Bramki AND, OR, NOT i XOR w akcji
Twój telefon w ciągu sekundy wykonuje miliardy decyzji. Każda z nich sprowadza się do bardzo prostego pytania: #prawda czy #fałsz? Odpowiadają na nie malutkie układy nazywane bramkami logicznymi, a ich działanie najłatwiej zrozumieć dzięki tablicom prawdy.
Przygotowałem dla uczniów interaktywny #symulator, w którym można przełączać wejścia, oglądać prąd płynący przez bramkę i sprawdzać, kiedy zapala się żarówka:
👉 Otwórz Tablice prawdy: logika.komputerowka.pl
📘 Instrukcja obsługi: komputerowka.pl/tablice-prawdy-doc
Zera i jedynki, czyli prąd albo brak prądu
#Komputer nie rozumie słów ani obrazków. W jego wnętrzu przewodami płynie prąd, a każdy przewód może być w jednym z dwóch stanów:
- 1: jest napięcie, czyli prawda,
- 0: nie ma napięcia, czyli fałsz.
#Bramka logiczna dostaje na wejściu jeden albo dwa takie sygnały i według prostej reguły daje jeden sygnał na wyjściu. To wszystko. Z tak prostych klocków zbudowany jest każdy #procesor.
Czym jest tablica prawdy?
Tablica prawdy to tabelka, która pokazuje wynik bramki dla wszystkich możliwych wejść. Przy dwóch wejściach A i B mamy cztery kombinacje: 00, 01, 10 i 11. Wystarczą więc cztery wiersze, żeby opisać bramkę w całości.
Ogólnie dla n wejść tablica ma 2ⁿ wierszy. Układ z trzema wejściami ma więc 8 wierszy, a z czterema już 16.
Cztery najważniejsze bramki
AND, czyli „i”
Wynik to 1 tylko wtedy, gdy oba wejścia są 1.
| A | B | A AND B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Z życia: zagrasz online, gdy masz internet i wykupiony abonament. Brak jednego z nich wystarczy, żeby nie zagrać.
OR, czyli „lub”
Wynik to 1, gdy co najmniej jedno wejście jest 1.
| A | B | A OR B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Z życia: telefon zawibruje, gdy przyjdzie SMS lub wiadomość na czacie.
NOT, czyli „nie”
Ma tylko jedno wejście i odwraca sygnał.
| A | NOT A |
|---|---|
| 0 | 1 |
| 1 | 0 |
Z życia: ikonka „brak sieci” świeci wtedy, gdy nie ma Wi-Fi.
XOR, czyli „albo”
Wynik to 1, gdy wejścia są różne.
| A | B | A XOR B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
Z życia: światło na klatce schodowej z włącznikiem na dole i na górze. Zmiana dowolnego włącznika przełącza światło.
Częsty błąd: #OR i #XOR różnią się tylko w ostatnim wierszu. Gdy oba wejścia są 1, OR daje 1, a XOR daje 0.
NAND, NOR i XNOR
To zaprzeczenia trzech poprzednich bramek. Ich wynik jest odwrotny niż w AND, OR i XOR. Na schemacie poznasz je po małym kółku na wyjściu. Pełne tablice wszystkich siedmiu bramek znajdziesz w aplikacji.
Trochę historii
- 1854: angielski matematyk George Boole opisał w książce zasady logiki za pomocą działań na dwóch wartościach: prawdzie i fałszu. Nikt wtedy nie myślał o komputerach. Dziś mówimy na to algebra Boole’a, a w programowaniu typ prawda/fałsz nazywa się na jego cześć #boolean.
- 1937: amerykański student Claude Shannon pokazał w swojej pracy magisterskiej, że algebrę Boole’a da się zbudować z przekaźników elektrycznych. To moment narodzin elektroniki cyfrowej.
- Lata 60.: komputer, który sterował misjami Apollo na Księżyc, zbudowano niemal w całości z jednego rodzaju bramki: NOR.
- Dziś: procesor w smartfonie zawiera miliardy tranzystorów, które tworzą bramki logiczne.
Ciekawostka: komputer z jednej bramki
Bramki NAND i NOR nazywa się uniwersalnymi. Z samych NAND-ów da się zbudować NOT, AND, OR, XOR, a w końcu cały procesor. To trochę jak budowanie zamku z jednego rodzaju klocka LEGO.
Jak komputer dodaje?
Z dwóch bramek powstaje półsumator, czyli układ, który dodaje dwa bity:
- XOR daje cyfrę wyniku,
- AND daje przeniesienie, czyli „jeden dalej”.
Sprawdź: 1 + 1 w systemie dwójkowym to 10. XOR(1, 1) = 0 to cyfra wyniku, a AND(1, 1) = 1 to przeniesienie. Tak zaczyna się każde dodawanie w Twoim komputerze.
Bramki logiczne w programowaniu
Te same reguły znajdziesz w każdym języku programowania:
| Bramka | Python | JavaScript / C | ||||
|---|---|---|---|---|---|---|
| AND |
|
| ||||
| OR |
|
| ||||
| NOT |
|
| ||||
| XOR |
|
|
2
3
4
5
6
7
ma_internet = False
if ma_konto and ma_internet:
print("Zaczynamy grę!")
else:
print("Brak połączenia")
Za każdym razem, gdy piszesz
1 | if |
Wypróbuj symulator
W aplikacji Tablice prawdy każdy może zobaczyć logikę w działaniu.
- ⚡ Animowany obwód: przełączasz wejścia A i B, prąd płynie przewodami, bramka się zapala, a żarówka świeci albo gaśnie.
- 🔀 Wszystkie bramki: AND, OR, NOT, XOR, NAND, NOR i XNOR z prawdziwymi symbolami.
- 📋 Tablica prawdy na żywo: aktualne wejścia są podświetlone, a w trybie „Uzupełnij sam” możesz sprawdzić swoją wiedzę.
- 💡 Wyjaśnienia: reguła prostymi słowami, przykład z życia i ciekawostka dla każdej bramki.
- 📊 Wszystkie bramki naraz: jedna tabela do porównywania wyników.
- 🎯 Quiz: dwa poziomy trudności, punkty, seria i rekord, a po każdej odpowiedzi rozwiązanie krok po kroku.
- 🐍 Zapis w kodzie: każda bramka w matematyce, Pythonie i JavaScripcie.
👉 Uruchom Tablice prawdy: logika.komputerowka.pl
📘 Instrukcja z pomysłami na lekcję: komputerowka.pl/tablice-prawdy-doc
Wyzwanie
- Bez patrzenia w tabelę uzupełnij w aplikacji tablicę prawdy XOR, a potem NAND.
- W quizie na poziomie „Dwie bramki” zdobądź serię 10 poprawnych odpowiedzi z rzędu.
- Dla ambitnych: w tabeli „Wszystkie bramki naraz” sprawdź, czy NOT (A AND B) daje to samo co (NOT A) OR (NOT B). To jedno z praw De Morgana.
Powodzenia!
Zobacz też: Aparat Morse’a, czyli jak zera i jedynki przesyłano telegrafem.
© 2026 Komputerowka.pl · Arnold Basiński
