የዕውነታ ሠንጠረዥ በሥነ አምክንዮ እና ሥነ ኮምፒዩተር ጥናት ከፍተኛ ተጠቃሚነት ያለው የሒሳብ ሠንጠረዥ ነው። ተግባሩም አንድ የአምክንዮ ፈሊጥ (ሎጂካል ኤክስፕሬሽን) ይሰጥና በውስጡ አቅፎ የያዛቸው የአምክንዮ አረፍተነገሮች (ስቴትሜንትስ) ግቤት ዋጋዎች ሲቀያየሩ ሊይዟቸው ለሚችሏቸው ማናቸውም ዋጋወች የአጠቃላይ ፈሊጡ ውጤት ምን እንደሆን አንድ በአንድ ለማስላት ነው። እያንዳንዱ የሠንጠረዡ ዐምድ (ኮለምን) የአምክንዮ ፈሊጡ ግቤቶች(ኢምፑት ቫሪያብል ለምሳሌ፦ A ወይም B) ሊይዙት የሚችሉትን ማናቸውንም ዋጋ በማስፈሪያነት ሲያገለግል፣ የመጨረሻው ዐምድ ደግሞ የተፈለገው የአምክንዮ መተግበሪያ (ለምሳሌ እና፣ ወይም) በያንዳንዱ የግቤት ዋጋዎች ጥምረት አርፎ የሚያስገኘውን ውጤት መመዝገቢያነት ያገለግላል። በአንጻሩ እያንዳንዱ የሠንጠረዡ ረድፍ (ሮው)፣ ተለዋዋጭ ግቤቶቹ ሊይዙት ከሚችሏቸው የተለያዩ የዋጋ ጥምረቶች ውስጥ አንዱን ጥምረት መርጦ በዚያ ጥምረት ላይ የአምክንዮው መተግበሪያ በማረፍ የሚያስገኘውን ዋጋ ያሳያል። የዕውነታ ሠንጠረዥ በ20ኛው ክፍለ ዘመን መባቻ፣ በሉድዊግ ዋይንስታይን እንደተፈለስፈ ይታመናል። አፍራሽ አምክንዮ በአንድ የአምክንዮ ዋጋ ግቤት ላይ ሲተገበር ውጤቱ የግቤቱ ተቃራኒ ይሆናል። ለምሳሌ ግቤቱ እውነት (1) ከሆነ፣ በአፍራሽ አምክንዮ ውጤቱ ውሸት (1) ይሆናል ማለት ነው። ውሸት (0) ከሆነ በተቃራኒው ውጤቱ እውነት(1) ይሆናል ማለት ነው። የአፍራሽ አመክንዮ በምልክት ሲጻፍ NOT p (ወይንም ¬p, Np, Fpq, ወይም ~p) ሲሆን የዕውነታ ሰንጠረዡ ይህን ይመስላል: እዚህ ላይ 1 = እውነትን ሲዎክል፣ 0 = ውሸትን ይወክላል። ሁለትዮሽ የአምከንዮ መተግበሪያዎች ሁለት የአምክንዮ አረፍተነገሮችን ወስድው በማጣመር ውጤት የሚሰጡ ናቸው። ከነዚህ ውስጥ እና (ኤንድ)፣ ወይንም (ኦር)፣ ኢእና(ናንድ)፣ ኢወይንም(ኖር)፣ ወይ (ኤግዞር)...