Generator de masă de adevăr

  1. Intrare
  2. Opțiuni
  3. Rezultat

Generator de masă de adevăr

Creați și explorați tabele de adevăr cu butoane de operator, exemple, clasificare formule, DNF și CNF canonice, termeni și exporturi.

Construiește o masă de adevăr

Introduceți o expresie booleană sau asamblați-o cu butoanele operatorului.

Comparația opțională folosește uniunea de variabile (până la 8) și evidențiază contraexemple. Schimbați intrările, apoi construiți tabelul pentru a actualiza rezultatul. Fiecare expresie este limitată la 2000 de caractere.

Operatori de expresii logice

De asemenea, puteți introduce NOT, AND, OR, XOR, NAND, NOR, IMPLIES și IFF.

Exemple rapide

Expresia este evaluată local în browserul dvs.

Expresie analizată
(A ∧ B) → C
Formula logică contingentă
Variabile
A, B, C
Combinații
8
Rânduri cu rezultatul 1
7
Rânduri cu rezultatul 0
1

Tabelul de adevăr boolean

PDF / Imprimați: Toate (8)

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

Forme booleene canonice

Canonical DNF este construit din rânduri de tabel cu rezultatul 1; canonical CNF este construit din rânduri de tabel cu rezultatul 0.

Forma normală disjunctivă canonică (DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Forma normală conjunctivă canonică (CNF)
(¬A ∨ ¬B ∨ C)
Mintermi booleeni
Σm(0, 1, 2, 3, 4, 5, 7)
Termeni maximi booleeni
ΠM(6)

Generați tabele de adevăr online

Introduceți sau asamblați o expresie booleană și inspectați fiecare combinație de până la opt variabile cu valoarea rezultată.

Clasificați o formulă ca tautologie, contradicție sau contingență, filtrați rândurile și exportați tabelul împreună cu DNF, CNF canonice, minterms și maxterms.

Pornire rapidă

Construiți un tabel de adevăr sau comparați două expresii pentru echivalență.

  1. Introduceți o expresie și o comparație opțională
  2. Construiți tabelul pentru a actualiza rezultatul
  3. Inspectați contraexemplele și exportați tabelul complet
✓ Instrumentul rulează direct în browser și este pregătit pentru verificări rapide fără a instala software.
✓ Intrarea poate fi ștearsă și recalculată imediat, ceea ce este util pentru sarcini mici repetate.
✓ Utilizați modul ecran complet atunci când aveți nevoie de mai mult spațiu pentru text lung, date structurate sau blocuri mari de rezultate.
✓ Butoanele de copiere sunt disponibile pe rezultatul generat, astfel încât rezultatele să poată fi reutilizate în cod, documente sau chat-uri de asistență.
✓ Majoritatea operațiunilor sunt deterministe: aceeași intrare și opțiuni produc aceeași ieșire.
✓ Pentru conținut sensibil, preferați instrumentele de browser locale și examinați rezultatul înainte de a-l distribui în continuare.

Alte instrumente

Evaluator de matematică
Evaluator de matematică
Calculator combinatoric
Calculator combinatoric
Calculator aritmetic modular
Calculator aritmetic modular
Convertiți DOC în PDF online
Convertiți DOC în PDF online
Convertiți DOCX în PDF online
Convertiți DOCX în PDF online
Convertiți ODT în PDF online
Convertiți ODT în PDF online

Recenziile utilizatorilor

Recenziile sunt verificate înainte de publicare. Publicăm feedback pozitiv real și critici specifice. Spam-ul și insultele fără detalii utile nu sunt publicate; blasfemia și detaliile personale sunt mascate. Voturile pozitive se numără imediat; voturile negative sunt numărate după revizuire.

Recenziile reflectă experiențele utilizatorilor, nu o garanție a rezultatelor sau o descriere a limitelor serviciilor. Utilizați butoanele de evaluare de mai sus pentru a lăsa o recenzie.

Nu există încă recenzii publicate în această limbă.