Sanningstabellgenerator

  1. Ingång
  2. Alternativ
  3. Resultat

Sanningstabellgenerator

Bygg och utforska sanningstabeller med operatörsknappar, exempel, formelklassificering, kanoniska DNF och CNF, minterms och exporter.

Bygg en sanningstabell

Ange ett booleskt uttryck eller sätt ihop det med operatorknapparna.

Valfri jämförelse använder föreningen av variabler (upp till 8) och framhäver motexempel. Ändra ingångar och bygg sedan tabellen för att uppdatera resultatet. Varje uttryck är begränsat till 2000 tecken.

Logiska uttrycksoperatorer

Du kan också skriva NOT, AND, OR, XOR, NAND, NOR, IMPLIES och IFF.

Snabba exempel

Uttrycket utvärderas lokalt i din webbläsare.

Analyserat uttryck
(A ∧ B) → C
Kontingent logisk formel
Variabler
A, B, C
Kombinationer
8
Rader med resultat 1
7
Rader med resultat 0
1

Boolesk sanningstabell

PDF / Skriv ut: Alla (8)

#
A
B
C
Resultat
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

Kanoniska booleska former

Kanonisk DNF är byggd från tabellrader med resultat 1; kanonisk CNF är byggd från tabellrader med resultat 0.

Kanonisk disjunktiv normalform (DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Kanonisk konjunktiv normalform (CNF)
(¬A ∨ ¬B ∨ C)
Booleska minterms
Σm(0, 1, 2, 3, 4, 5, 7)
Booleska maxtermer
ΠM(6)

Skapa sanningstabeller online

Ange eller sätt ihop ett booleskt uttryck och inspektera varje kombination av upp till åtta variabler med det resulterande värdet.

Klassificera en formel som en tautologi, motsägelse eller kontingens, filtrera rader och exportera tabellen tillsammans med kanoniska DNF, CNF, minterms och maxterms.

Snabbstart

Bygg en sanningstabell eller jämför två uttryck för ekvivalens.

  1. Ange ett uttryck och valfri jämförelse
  2. Bygg tabellen för att uppdatera resultatet
  3. Inspektera motexempel och exportera hela tabellen
✓ Verktyget körs direkt i webbläsaren och är redo för snabba kontroller utan att installera programvara.
✓ Indata kan raderas och räknas om omedelbart, vilket är användbart för upprepade små uppgifter.
✓ Använd helskärmsläge när du behöver mer utrymme för lång text, strukturerad data eller stora resultatblock.
✓ Kopieringsknappar är tillgängliga på genererad utdata så att resultaten kan återanvändas i kod, dokument eller supportchattar.
✓ De flesta operationer är deterministiska: samma input och alternativ ger samma output.
✓ För känsligt innehåll, föredra lokala webbläsarverktyg och granska resultatet innan du delar det vidare.

Andra verktyg

Matteutvärderare
Matteutvärderare
Kombinatorikräknare
Kombinatorikräknare
Modulär aritmetisk kalkylator
Modulär aritmetisk kalkylator
Konvertera DOC till PDF online
Konvertera DOC till PDF online
Konvertera DOCX till PDF online
Konvertera DOCX till PDF online
Konvertera ODT till PDF online
Konvertera ODT till PDF online

Användarrecensioner

Recensioner kontrolleras före publicering. Vi publicerar genuin positiv feedback och specifik kritik. Spam och förolämpningar utan användbara detaljer publiceras inte; svordomar och personliga uppgifter är maskerade. Positiva röster räknas omedelbart; negativa röster räknas efter granskning.

Recensioner återspeglar användarnas upplevelser, inte en garanti för resultat eller en beskrivning av tjänstegränserna. Använd betygsknapparna ovan för att lämna en recension.

Inga publicerade recensioner på detta språk ännu.