Softonic

Upraszczenie algebry Boole'a

Krok 1 / 3
Używaj A, B, C... jako zmiennych. Operatory: & (AND), | (OR), ! (NOT), ^ (XOR), ( )
Dalej

Wpisz wyrażenie logiczne, np. A & B | (!A & B), a to narzędzie obliczy jego wartość dla każdej kombinacji zmiennych i zwróci pełną tabelę prawdy z kolumną dla każdej zmiennej i końcową kolumną wyniku. Obsługuje do pięciu zmiennych oraz operatory & (AND), | (OR), ! (NOT) i ^ (XOR). Użyj wygenerowanej tabeli, aby sprawdzić uproszczenie wykonane ręcznie albo debugować pisaną logikę.

Jak powstaje tabela prawdy

  1. 1

    Wpisz wyrażenie

    Wpisz wyrażenie, używając jednej wielkiej litery na zmienną oraz symboli & (AND), | (OR), ! (NOT), ^ (XOR) i nawiasów, np. `A & B | (!A & B)`.

  2. 2

    Zmienne są wykrywane

    Każda pojedyncza wielka litera liczy się jako zmienna, maksymalnie pięć. Tabela dostaje kolumnę na każdą zmienną, więc pięć zmiennych daje 32 wiersze.

  3. 3

    Każda kombinacja jest obliczana

    Wyrażenie jest obliczane raz na wiersz, od wszystkich zmiennych równych 0 do wszystkich równych 1, w kolejności pierwszeństwa: NOT, potem XOR, potem AND, potem OR. Nawiasy je nadpisują.

  4. 4

    Sprawdź kolumnę wyniku

    Ostatnia kolumna pokazuje wartość całego wyrażenia dla danego wiersza. Porównaj ją z własną tabelą albo z uproszczoną postacią, aby potwierdzić zgodność.

Operatory i pierwszeństwo

Operacja Symbol Przykład
AND & A & B
OR | A | B
NOT ! !A
XOR ^ A ^ B
Nawiasy ( ) (A & B) | C

Wyrażenie jest obliczane od operatora o najsilniejszym wiązaniu do najsłabszego: NOT, XOR, AND, OR. Nawiasy zawsze wygrywają. Trzymaj się czterech symboli z góry, symbole takie jak · czy + nie są rozpoznawane i po cichu dają błędną tabelę.

Przykład

Wejście: A & B | (!A & B)

Tabela prawdy:

A B Dane wyjściowe
0 0 0
0 1 1
1 0 0
1 1 1

Kolumna wyniku odpowiada zwykłemu B. To właśnie takie tożsamości sprawdzisz w kilka sekund: uprość ręcznie, potem porównaj kolumny.

Po co pełna tabela prawdy

  • Weryfikacja uproszczenia: uprość wyrażenie ręcznie, a potem potwierdź, że Twoja uproszczona postać ma tę samą kolumnę wyniku.
  • Debugowanie logiki: znajdź wiersz, w którym wyrażenie odbiega od oczekiwań.
  • Nauka operatorów: zobacz, jak łączą się NOT, XOR, AND i OR, bez ręcznego liczenia każdego wiersza.

Ograniczenia

  • Maksymalnie pięć zmiennych: tabela pokazuje każdą kombinację, do 32 wierszy. Przy więcej niż pięciu zmiennych tabela się nie renderuje, więc podziel wyrażenie na mniejsze części.
  • Pojedyncze wielkie litery: jako zmienne liczą się tylko litery od A do Z; małe litery i inne znaki są ignorowane.

Najczęściej zadawane pytania

Nie. Oblicza wartość wyrażenia i buduje pełną tabelę prawdy, jeden wiersz na kombinację jego zmiennych (do pięciu). Użyj tabeli, aby zweryfikować własne uproszczenie: jeśli uproszczona postać daje tę samą kolumnę wyniku, oba wyrażenia są równoważne.

Do pięciu, co daje najwyżej 32 wiersze. Zmienne to pojedyncze wielkie litery, np. A, B i C. Przy większej liczbie zmiennych podziel wyrażenie na mniejsze części.

& (AND), | (OR), ! (NOT) przed operandem, ^ (XOR) oraz nawiasy. Kolejność od najsilniejszego do najsłabszego wiązania: NOT, XOR, AND, OR. Symbole takie jak · czy + nie są obsługiwane i mogą po cichu dać błędną tabelę.

Nie. To narzędzie przyjmuje tylko wyrażenie. Jeśli funkcja jest zdefiniowana tabelą prawdy, wpisz wyrażenie, które ją generuje, i porównaj wygenerowaną tabelę.

Powiązane narzędzia

Tabela ASCII

Pełna tabela ASCII od 0 do 127 z zapisem dziesiętnym, szesnastkowym, ósemkowym i binarnym oraz notacją numerycznych odwołań HTML, w tym kodami sterującymi NUL, LF i DEL.

Referencja znaków HTML

Przeszukiwalna lista encji HTML wraz z ich kodami nazwanymi i liczbowymi oraz kopiowaniem jednym kliknięciem specjalnych znaków i symboli.

Skróty klawiaturowe

Wyszukuj udokumentowane skróty domyślne VS Code, Chrome i Bash z GNU Readline w macOS, Windows i Linux.

Generator EditorConfig

Wygeneruj plik .editorconfig z własnymi regułami stylu i rozmiaru wcięć, końca linii, kodowania i białych znaków, aby uzyskać spójne formatowanie w różnych IDE i edytorach.

Walidator adresów e-mail

Zweryfikuj adres e-mail: sprawdzenie składni RFC 5322, sprawdzenie rekordu MX w czasie rzeczywistym oraz szczegóły dotyczące części lokalnej, domeny i długości. Żadna wiadomość nie jest wysyłana.

Formatowanie HTML

Formatuj HTML lokalnie w przeglądarce, używając wcięć dwóch lub czterech spacji. HTML nie jest wysyłany ani walidowany.

Narzędzie jest dostępne w innych językach