Tablica istinitosti je matematička tablica koja se koristi u logici i može se koristiti da se vidi je li logički prijedlog istinit za bilo koju ulaznu vrijednost. Tablice istine prvenstveno se koriste u vezi s booleovom algebrom, booleovim funkcijama i propozicijskim računom. Tablica istinitosti ima jedan stupac za svaku ulaznu varijablu, npr. A i B i red za svaku moguću kombinaciju ulaznih varijabli je istinit i netočan. Zatim se dodaju drugi stupci za svaki logički operator kao što su “I”, “Ili” i “XOR” i rezultati tih operatora za svaku kombinaciju ulaza.
Tablica istine Technipages objašnjava
Austrijski filozof Ludwig Wittgenstein općenito je zaslužan za izum i popularizaciju tablice istine u knjizi objavljenoj 1921. iako je otad otkriveno da ih je drugi filozof Charles Sanders Peirce izmislio 1893. u rukopisu koji nikada nije bio Objavljeno.
Postoji 16 mogućih operacija koje se mogu izvesti nad dvije istinite ili netočne varijable. Ove operacije su: Kontradikcija – ovo je uvijek lažno; Logično NOR – istinito samo kada ni A ni B nisu istiniti; Obrnuta neimplikacija – istinita je gdje je B istinito, a A netočno; Negacija – istinita je samo kada je A lažno, bez obzira na vrijednost B; Materijalna neimplikacija – istinita je kada A jest, a B nije; Negacija – isključiva disjunkcija; Logički NAND; Logički veznik; Logički dvouvjetni; Funkcija projekcije; Materijalna implikacija; Funkcija projekcije; Obratna implikacija; Logička disjunkcija i tautologija.
Svaka od njih, naravno, ima svoje namjene i svrhu, ali imaju jednu zajedničku stvar: izvode se uz korištenje jedne ili dvije istinite/netočne varijable. Zbog jednostavne (ako ne i lako razumljive) prirode ovih varijabli i operacija, moguće je razbiti komplicirane operacije na mali skup elemenata – istinite/netočne vrijednosti i gore navedeno operacije.
Uobičajena upotreba tablice istine
- Tablica istine je matematička tablica koja se koristi u logici.
- Svaki red tablice istinitosti sadrži jednu moguću konfiguraciju ulaznih varijabli.
- Tablice istinitosti mogu se koristiti za dokazivanje logičke ekvivalentnosti.
Tablica uobičajenih zloupotreba istine
- Tablice istinitosti provjeravaju jesu li podaci u tablici ili bazi podataka točni.