Generator tabeli prawdy

  1. Dane wejściowe
  2. Opcje
  3. Wynik

Generator tabeli prawdy

Twórz i eksploruj tabele prawdy za pomocą przycisków operatorów, przykładów, klasyfikacji formuł, kanonicznych DNF i CNF, terminów minterm i eksportów.

Zbuduj tabelę prawdy

Wprowadź wyrażenie logiczne lub złóż je za pomocą przycisków operatora.

Opcjonalne porównanie wykorzystuje sumę zmiennych (do 8) i podkreśla kontrprzykłady. Zmień dane wejściowe, a następnie zbuduj tabelę, aby zaktualizować wynik. Każde wyrażenie jest ograniczone do 2000 znaków.

Operatory wyrażeń logicznych

Możesz także wpisać NOT, AND, OR, XOR, NAND, NOR, IMPLIES i IFF.

Szybkie przykłady

Wyrażenie jest oceniane lokalnie w przeglądarce.

Przeanalizowane wyrażenie
(A ∧ B) → C
Warunkowa formuła logiczna
Zmienne
A, B, C
Kombinacje
8
Wiersze z wynikiem 1
7
Wiersze z wynikiem 0
1

Boolowska tablica prawdy

PDF / Wydrukuj: Wszystko (8)

#
A
B
C
Wynik
0
0
0
0
1
1
0
0
1
1
2
0
1
0
1
3
0
1
1
1
4
1
0
0
1
5
1
0
1
1
6
1
1
0
0
7
1
1
1
1

Kanoniczne formy logiczne

Canonical DNF jest tworzony z wierszy tabeli z wynikiem 1; kanoniczny CNF jest tworzony z wierszy tabeli z wynikiem 0.

Kanoniczna rozłączna postać normalna (DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Kanoniczna spójna postać normalna (CNF)
(¬A ∨ ¬B ∨ C)
Mintermy logiczne
Σm(0, 1, 2, 3, 4, 5, 7)
Maksymalne wartości logiczne
ΠM(6)

Generuj tabele prawdy online

Wprowadź lub złóż wyrażenie logiczne i sprawdź każdą kombinację maksymalnie ośmiu zmiennych z otrzymaną wartością.

Sklasyfikuj formułę jako tautologię, sprzeczność lub kontyngencję, filtruj wiersze i eksportuj tabelę razem z terminami kanonicznymi DNF, CNF, minterms i maxterms.

Szybki start

Zbuduj tabelę prawdy lub porównaj dwa wyrażenia pod kątem równoważności.

  1. Wprowadź wyrażenie i opcjonalne porównanie
  2. Zbuduj tabelę, aby zaktualizować wynik
  3. Sprawdź kontrprzykłady i wyeksportuj całą tabelę
✓ Narzędzie działa bezpośrednio w przeglądarce i nadaje się do szybkich sprawdzeń bez instalowania programu.
✓ Dane wejściowe można od razu wyczyścić i przeliczyć ponownie, co pomaga przy powtarzalnych małych zadaniach.
✓ Użyj trybu pełnoekranowego, gdy potrzebujesz więcej miejsca na długi tekst, dane strukturalne lub duże wyniki.
✓ Przyciski kopiowania ułatwiają przeniesienie wyniku do kodu, dokumentów lub rozmów z pomocą techniczną.
✓ Większość operacji jest deterministyczna: te same dane i ustawienia dają ten sam wynik.
✓ Przy wrażliwych danych korzystaj z lokalnych narzędzi w przeglądarce i sprawdzaj wynik przed udostępnieniem.

Inne narzędzia

Oceniający matematyka
Oceniający matematyka
Kalkulator kombinatoryki
Kalkulator kombinatoryki
Modułowy kalkulator arytmetyczny
Modułowy kalkulator arytmetyczny
Konwertuj DOC na PDF online
Konwertuj DOC na PDF online
Konwertuj DOCX na PDF online
Konwertuj DOCX na PDF online
Konwertuj ODT na PDF online
Konwertuj ODT na PDF online

Recenzje użytkowników

Recenzje są sprawdzane przed publikacją. Publikujemy autentyczne pozytywne opinie i konkretną krytykę. Spam i obelgi nie zawierające przydatnych szczegółów nie są publikowane; wulgaryzmy i dane osobowe są maskowane. Głosy pozytywne są liczone natychmiast; negatywne głosy są liczone po sprawdzeniu.

Recenzje odzwierciedlają doświadczenia użytkowników, a nie gwarancję wyników lub opis limitów usług. Aby zostawić recenzję, użyj powyższych przycisków oceny.

Nie opublikowano jeszcze żadnych recenzji w tym języku.