'n Waarheidstabel is 'n wiskundige tabel wat aan teen die einde van die 19de eeu deur Charles Peirce ontwikkel is. Die tabel word in die logika, en spesifiek die stellingslogika gebruik om vas te stel of 'n logiese uitdrukking waar is en of die argument geldig is. Waarheidstabelle kan gebruik word om die waarheidswaarde weer te gee van 'n logiese bewerking (soos "en", "of", "nie" en "as...dan") vir alle moontlike kombinasies van waardes. In waarheidstabelle kan 'n mens die waarheid of onwaarheid van 'n stelling op verskeie maniere aandui. Een manier is om eenvoudig "waar" of "onwaar" te skryf maar dit is dikwels gebruiklik om die letters T vir true (waar) in Engels en F vir false (onwaar) te gebruik. Andersins kan 'n 1 gebruik word om waar en 0 om onwaar voor te stel. Een nadeel van waarheidstabelle is dat by saamgestelde stellings met baie veranderlikes die tabel baie vinnig te groot word.