Waarheid tabel generator

  1. Invoer
  2. Opsies
  3. Resultaat

Waarheid tabel generator

Bou en verken waarheidstabelle met operateurknoppies, voorbeelde, formuleklassifikasie, kanonieke DNF en CNF, minterme en uitvoere.

Bou 'n waarheidstabel

Voer 'n Boole-uitdrukking in of stel dit saam met die operateurknoppies.

Opsionele vergelyking gebruik die vereniging van veranderlikes (tot 8) en beklemtoon teenvoorbeelde. Verander insette, bou dan die tabel om die resultaat op te dateer. Elke uitdrukking is beperk tot 2000 karakters.

Logiese uitdrukking operateurs

Jy kan ook NOT, AND, OR, XOR, NAND, NOR, IMPLIES en IFF tik.

Vinnige voorbeelde

Die uitdrukking word plaaslik in jou blaaier geëvalueer.

Ontleed uitdrukking
(A ∧ B) → C
Voorwaardelike logiese formule
Veranderlikes
A, B, C
Kombinasies
8
Rye met resultaat 1
7
Rye met resultaat 0
1

Boole-waarheidstabel

PDF / Druk: Almal (8)

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

Kanoniese Boole-vorme

Kanonies DNF is gebou uit tabelrye met resultaat 1; kanonieke CNF is gebou uit tabelrye met resultaat 0.

Kanoniese disjunktiewe normale vorm (DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Kanoniese konjunktiewe normale vorm (CNF)
(¬A ∨ ¬B ∨ C)
Boolese minterme
Σm(0, 1, 2, 3, 4, 5, 7)
Boolese maksimum terme
ΠM(6)

Genereer waarheidstabelle aanlyn

Voer 'n Boole-uitdrukking in of stel dit saam en inspekteer elke kombinasie van tot agt veranderlikes met die gevolglike waarde.

Klassifiseer 'n formule as 'n tautologie, teenstrydigheid of gebeurlikheid, filtreer rye en voer die tabel uit saam met kanonieke DNF, CNF, minterme en maxterms.

Vinnige begin

Bou 'n waarheidstabel of vergelyk twee uitdrukkings vir ekwivalensie.

  1. Voer 'n uitdrukking en opsionele vergelyking in
  2. Bou die tabel om die resultaat op te dateer
  3. Inspekteer teenvoorbeelde en voer die volledige tabel uit
✓ Die instrument loop direk in die blaaier en is gereed vir vinnige kontrole sonder om sagteware te installeer.
✓ Invoer kan onmiddellik uitgevee en herbereken word, wat nuttig is vir herhaalde klein take.
✓ Gebruik volskermmodus wanneer jy meer spasie benodig vir lang teks, gestruktureerde data of groot resultaatblokke.
✓ Kopieerknoppies is beskikbaar op gegenereerde uitvoer sodat resultate hergebruik kan word in kode, dokumente of ondersteuningskletse.
✓ Die meeste bewerkings is deterministies: dieselfde inset en opsies lewer dieselfde uitset.
✓ Vir sensitiewe inhoud, verkies plaaslike blaaiernutsgoed en hersien die resultaat voordat jy dit verder deel.

Ander gereedskap

Wiskunde evalueerder
Wiskunde evalueerder
Kombinatoriese sakrekenaar
Kombinatoriese sakrekenaar
Modulêre rekenkundige sakrekenaar
Modulêre rekenkundige sakrekenaar
Skakel DOC om na PDF aanlyn
Skakel DOC om na PDF aanlyn
Skakel DOCX om na PDF aanlyn
Skakel DOCX om na PDF aanlyn
Skakel ODT om na PDF aanlyn
Skakel ODT om na PDF aanlyn

Gebruiker resensies

Resensies word gekontroleer voor publikasie. Ons publiseer opregte positiewe terugvoer en spesifieke kritiek. Strooipos en beledigings sonder nuttige besonderhede word nie gepubliseer nie; vloektaal en persoonlike besonderhede word gemasker. Positiewe stemme word onmiddellik getel; negatiewe stemme word na hersiening getel.

Resensies weerspieël gebruikers se ervarings, nie 'n waarborg van resultate of 'n beskrywing van die dienslimiete nie. Gebruik die graderingsknoppies hierbo om 'n resensie te lewer.

Nog geen gepubliseerde resensies in hierdie taal nie.