Таблице истинитости — разлика између измена

Садржај обрисан Садржај додат
мНема описа измене
Autobot (разговор | доприноси)
м Разне исправке; козметичке измене
Ред 1:
{{РАФ102013}}
[[Таутологија (логика)|Таблица истинитости]] је математичка таблица коришђена у [[Логика|логици]] — посебно у комбинацији са [[Булова алгебра|Буловом алгебром]]. Практично, таблице истинитости се користе да би утврдили да ли је предложени израз истинит за дате вредности, тј да ли је логички тачан или лажан.
 
Линија 409 ⟶ 408:
Таблице истинитости се такође користе да спецификују функционалност хардверске look-up таблице(LUT)]] у [[Digital circuit|дигиталној логици]]. За н-унос LUT, таблица истинитости ће имати 2^''n'' вредности (или редова у гореприказаном табуларном формату), потпуно спецификујући боолеан функцију за LUT. Представљајући сваку боолеан вредност као [[Бит (рачунарство)|бит]] у [[бинарни систем|бинарни број]], вредност у истинитосној таблици се може ефикасно кодирати као [[интеџер]] вредност у [[електронски дизајн|аутомизацији електронског дизајна (EDA)]] [[софтвер]]. На пример, 32-битни интиџер може да се кодира истинитосну таблицу за LUT са до 5 инпута.
Кад се користи интиџер репрезентацију за истинитосну таблицу, излазна вредност LUT се може добити рачунањем битног индекса ''k'' базираног на улазним вредностима LUT, у том случају LUT 'ова излазна вредност је ''k'''ти бит интеџера.
На пример, да би смо испитали излазну вредност LUT 'а датог у [[низ|низу]]у од ''n'' боолеан улазних вредности, битни идекс излазних вредности таблице истинитости моѕе бити израчунат на следећи начин:
ако је ''i''ти унос тачан, нека V''i'' = 1, у супротном нека V''i'' = 0. Онда ће ''k''ти бит бинарне репрезентације таблице истинитости бити i LUT'ова излазна вредност, где''k'' = V0*2^0 + V1*2^1 + V2*2^2 + ... + V''n''*2^''n''.
Таблице истинитости су једноставне и практичан начин енкодовања боолеан функција, међутим са [[експоненциална функција|експоненциалним растом]] како се број улаза повеђава, нису бас практичне и прегледне.