Un tabel de adevăr este un tabel matematic folosit în logică și poate fi folosit pentru a vedea dacă o propoziție logică este adevărată pentru orice valoare de intrare. Tabelele de adevăr sunt utilizate în principal în legătură cu algebra booleană, funcțiile booleene și calculul propozițional. Un tabel de adevăr are o coloană pentru fiecare variabilă de intrare, de ex. A și B și un rând pentru fiecare combinație posibilă a variabilelor de intrare fiind adevărate și false. Alte coloane sunt apoi adăugate pentru fiecare operator logic, cum ar fi „Și”, „Sau” și „XOR” și rezultatele acestor operatori pentru fiecare combinație de intrări.
Technipages explică tabelul de adevăr
Filosofului austriac Ludwig Wittgenstein i se atribuie în general inventarea și popularizarea tabelului adevărului într-o carte publicată în 1921, deși s-a descoperit că un alt filozof Charles Sanders Peirce le-a inventat în 1893 într-un manuscris care nu a fost niciodată publicat.
Există 16 operații posibile care pot fi efectuate pe două variabile adevărate sau false. Aceste operațiuni sunt: Contradicție – aceasta este întotdeauna falsă; NOR logic – adevărat numai atunci când nici A, nici B nu sunt adevărate; Neimplicație inversă – este adevărată unde B este adevărat și A este fals; Negație – este adevărată numai atunci când A este fals, indiferent de valoarea lui B; Neimplicație materială – este adevărată atunci când A este și B nu este; Negație – Disjuncție exclusivă; NAND logic; Conjuncție logică; Bicondițional logic; Funcția de proiecție; Implicație materială; Funcția de proiecție; Implicație inversă; Disjuncția logică și tautologie.
Fiecare dintre ele are propriile utilizări și scopuri, desigur, dar au un lucru în comun: sunt realizate cu utilizarea a una sau două variabile adevărat/fals. Datorită naturii simple (dacă nu ușor de înțeles) a acestor variabile și operațiuni, este posibil împărțiți operațiunile complicate într-un set mic de elemente – valori adevărate/false și cele de mai sus operațiuni.
Utilizări obișnuite ale tabelului de adevăr
- Un tabel de adevăr este un tabel matematic folosit în logică.
- Fiecare rând al tabelului de adevăr conține o configurație posibilă a variabilelor de intrare.
- Tabelele de adevăr pot fi folosite pentru a demonstra echivalențe logice.
Utilizarea greșită obișnuită a tabelului de adevăr
- Tabelele de adevăr verifică dacă datele dintr-un tabel sau dintr-o bază de date sunt corecte.