Ang mga talahanayan ng katotohanan ay isang lohika ng diskarte na simpleng nagtatatag ng bisa ng maraming mga panukala patungkol sa anumang sitwasyon, ibig sabihin, tinutukoy ang mga kondisyong kinakailangan upang maging totoo isang iminungkahing pahayag, pinapayagan na mauri sa tautological (totoo para sa anumang sitwasyon) magkasalungat (ang mga pahayag ay hindi totoo sa karamihan ng mga kaso) o hindi sumasang-ayon (mga pahayag na maaaring hindi maraming totoo at hindi totoo ay hindi nakakiling sa isang direksyon).
Pinapayagan nito ang iba't ibang mga aspeto ng pahayag tulad ng mga kundisyon na ginagawang totoo ito at kung ano ang mga lohikal na konklusyon nito, iyon ay, kung ang ipinanukalang pahayag ay totoo o hindi. Ang talahanayan na ito ay nilikha ni Charles Sander Peirce noong 1880, ngunit ang pinakalawak na ginamit ay ang na-update na modelo ni Luidwin Wittgenstein noong 1921.
Ang pagtatayo ng talahanayan ay batay sa paggamit ng isang liham para sa mga variable ng resulta at natutupad ito at sinasabing totoo, sa kabaligtaran na kaso na hindi sila natupad, itinalaga sa kanila ang pangalan ng hindi totoo, halimbawa: Pahayag: "Kung lilipat tayo, namatay ang aso ko . " Mga variable: A: Kung lilipat ito- B: namatay ang aso.
Kung sinasabing totoo ito sa parehong variable, ang titik (V) ay itinalaga at kumakatawan sa pagiging positibo ng pahayag, kung ang ilan sa mga variable ay hindi natupad, ang titik (F) ay itinalaga sa kanila, hindi ito kumakatawan sa kasinungalingan ng pahayag dahil kasama ang Kung ang isang variable lamang ang nasiyahan, maaari itong italaga bilang totoo, depende iyon sa pahayag. Kapag ang parehong halaga ay totoo sa lahat ng mga okasyon, sinasabing mayroong isang pagsasama sa pahayag, sa kabilang banda, kung ang dalawang tunay na resulta ay nakuha at pagkatapos ang isang totoo at ang isa pa ay hindi totoo, sinasabing mayroong disjunction.
