Табела истинитости је математичка табела која се користи у логици и може се користити да се види да ли је логички предлог истинит за било коју улазну вредност. Табеле истине се првенствено користе у вези са Буловом алгебром, Буловим функцијама и пропозиционим рачуном. Табела истинитости има једну колону за сваку улазну променљиву, нпр. А и Б и ред за сваку могућу комбинацију улазних променљивих је тачна и нетачна. Остале колоне се затим додају за сваки логички оператор као што су „И“, „Или“ и „КСОР“ и резултати ових оператора за сваку комбинацију улаза.
Тецхнипагес Екплаинс Трутх Табле
Аустријски филозоф Лудвиг Витгенштајн је генерално заслужан за измишљање и популаризацију табеле истине у књизи објављеној 1921. иако је од тада откривено да их је други филозоф Чарлс Сандерс Пирс измислио 1893. у рукопису који никада није објављено.
Постоји 16 могућих операција које се могу извршити над две тачне или нетачне променљиве. Ове операције су: Контрадикција – ово је увек нетачно; Логичко НИ – тачно само када ни А ни Б нису истинити; Конверзна неимпликација – истинита је где је Б тачно, а А нетачно; Негација – истинита је само када је А нетачно, без обзира на вредност Б; Материјална неимпликација – истинита је када А јесте, а Б није; Негација – Ексклузивна дисјункција; Логицал НАНД; Логичка коњункција; Логицал бицондитионал; Функција пројекције; Материјалне импликације; Функција пројекције; Конверзна импликација; Логичка дисјункција и таутологија.
Свака од њих има своју употребу и сврху, наравно, али имају једну заједничку ствар: изводе се уз употребу једне или две тачне/нетачне варијабле. Због једноставне (ако није лако разумљиве) природе ових варијабли и операција, могуће је разбијте компликоване операције на мали скуп елемената – тачне/нетачне вредности и горе наведено операције.
Уобичајена употреба табеле истине
- Табела истинитости је математичка табела која се користи у логици.
- Сваки ред табеле истинитости садржи једну могућу конфигурацију улазних променљивих.
- Табеле истинитости се могу користити за доказивање логичке еквиваленције.
Табела уобичајених злоупотреба истине
- Табеле истинитости проверавају да ли су подаци у табели или бази података тачни.