Tõelisuse tabel on loogikas kasutatav matemaatiline tabel, mida saab kasutada selleks, et näha, kas loogiline väide vastab mis tahes sisendväärtusele. Tõdetabeleid kasutatakse peamiselt tõeväärtuse algebra, tõeväärtusfunktsioonide ja lausearvutuse puhul. Tõetabelis on iga sisendmuutuja jaoks üks veerg, nt. A ja B ning rida iga võimaliku sisendmuutujate kombinatsiooni jaoks, mis on tõene ja väär. Seejärel lisatakse iga loogilise operaatori jaoks muud veerud, nagu "And", "Or" ja "XOR", ning nende operaatorite tulemused iga sisendikombinatsiooni kohta.
Technipages Explains Truth Table
Austria filosoof Ludwig Wittgenstein on üldiselt tunnustatud tõetabeli väljamõtlemise ja populariseerimise eest 1921. aastal ilmunud raamatus. kuigi hiljem on avastatud, et teine filosoof Charles Sanders Peirce leiutas need 1893. aastal käsikirjas, mida kunagi ei leitud. avaldatud.
On 16 võimalikku toimingut, mida saab teha kahe tõese või vale muutujaga. Need toimingud on: Vastuolu – see on alati vale; Loogiline NOR – tõene ainult siis, kui ei A ega B pole tõesed; Vastupidine mitteimplikatsioon – on tõene, kus B on tõene ja A on väär; Eitus – on tõene ainult siis, kui A on väär, olenemata B väärtusest; Materiaalne mitteimplikatsioon – on tõene, kui A on ja B ei ole; Eitus – eksklusiivne disjunktsioon; Loogiline NAND; Loogiline side; Loogiline kahetingimuslik; Projektsioonifunktsioon; materiaalne mõju; Projektsioonifunktsioon; Vastupidine implikatsioon; Loogiline disjunktsioon ja tautoloogia.
Igal neist on loomulikult oma kasutusalad ja eesmärgid, kuid neil on üks ühine joon: neid teostatakse ühe või kahe tõese/vale muutuja kasutamisega. Nende muutujate ja toimingute lihtsa (kui mitte lihtsalt mõistetava) olemuse tõttu on see võimalik jagage keerulised toimingud väikeseks elementide kogumiks – tõesed/vale väärtused ja eelnev operatsioonid.
Tõetabeli levinud kasutusalad
- Tõetabel on loogikas kasutatav matemaatiline tabel.
- Iga tõesuse tabeli rida sisaldab üht võimalikku sisendmuutujate konfiguratsiooni.
- Tõelisuse tabeleid saab kasutada loogiliste samaväärsuste tõestamiseks.
Tõe levinud väärkasutused
- Tõelisuse tabelid kontrollivad, kas tabelis või andmebaasis olevad andmed on õiged.