Tabela resnice je matematična tabela, ki se uporablja v logiki in jo je mogoče uporabiti za preverjanje, ali je logični predlog resničen za katero koli vhodno vrednost. Tabele resnic se uporabljajo predvsem v povezavi z logično algebro, logičnimi funkcijami in propozicijskim računom. Tabela resnice ima en stolpec za vsako vhodno spremenljivko, npr. A in B ter vrstica za vsako možno kombinacijo vhodnih spremenljivk, ki je resnična in napačna. Nato se za vsak logični operator dodajo drugi stolpci, kot so »In«, »Or« in »XOR« ter rezultati teh operatorjev za vsako kombinacijo vhodov.
Technipages Explains Truth Table
Avstrijski filozof Ludwig Wittgenstein je na splošno zaslužen za izum in popularizacijo tabele resnice v knjigi, objavljeni leta 1921, čeprav je bilo od takrat odkrito, da jih je izumil še en filozof Charles Sanders Peirce leta 1893 v rokopisu, ki nikoli ni bil objavljeno.
Obstaja 16 možnih operacij, ki jih je mogoče izvesti nad dvema resničnima ali napačnima spremenljivkama. Te operacije so: Protislovje – to je vedno napačno; Logično ALI – drži samo, če niti A niti B nista resnična; Obratna neimplikacija – je resnična, kjer je B res in A je napačno; Negacija – je resnična samo, če je A napačna, ne glede na vrednost B; Materialna neimplikacija – velja, kadar A je in B ni; Negacija – izključna disjunkcija; Logični NAND; Logična zveza; Logično dvopogojno; Funkcija projekcije; Materialna implikacija; Funkcija projekcije; Obratna implikacija; Logična disjunkcija in tavtologija.
Vsaka od njih ima seveda svojo uporabo in namen, vendar imajo eno skupno stvar: izvajajo se z uporabo ene ali dveh spremenljivk resnični/napačni. Zaradi preproste (če ni lahko razumljive) narave teh spremenljivk in operacij, je to mogoče zapletene operacije razčlenite na majhen nabor elementov – vrednosti true/false in zgoraj operacije.
Pogoste uporabe tabele resnice
- Tabela resnice je matematična tabela, ki se uporablja v logiki.
- Vsaka vrstica tabele resnic vsebuje eno možno konfiguracijo vhodnih spremenljivk.
- Tabele resnic se lahko uporabijo za dokazovanje logičnih enakovrednosti.
Tabela pogostih zlorab resnice
- Tabele resnice preverijo, ali so podatki v tabeli ali bazi podatkov pravilni.