सत्यता सारणी

सत्य सारणी () तर्कशास्त्र में उपयोग होने वाली एक गणितीय सारणी है जो विशेषतः बूलीय बीजगणित, बूलीय फलन और प्रतिज्ञप्तिक कलन में सम्बंध स्थापित करता है जिससे प्रत्येक फलनीय तर्क के लिए तार्किक व्यंजकों के फलनीय मान प्राप्त किये जा सकें। सामान्यतः सत्य सारणी का उपयोग यह बताने के लिए किया जाता है कि प्रतिज्ञप्तिक व्यंजक सभी वैध निविष्ट मानों के लिए सत्य है जिसे तार्किक वैधता कहते हैं।

इकाई संक्रिया

तार्किक तत्समक 
तार्किक तत्समक वह संक्रिया है जिसमें संक्रिया मान इकाई होता है अर्थात प्रास्ताविकी का मान एक होता है जिसकी संक्रिया से सत्य मान सत्य रहता है और मिथ्या मान मिथ्या ही रहता है।

तार्किक तत्समक की सत्य सारणी निम्न प्रकार होती है:

तार्किक निषेद 
तार्किक निषेद वह संक्रिया है जो निविष्ट मान का निर्गम उल्टा होता है अर्थात सत्य निविष्ट के लिए निर्गम मिथ्या और मिथ्या निविष्ट मान के संगत निर्गत मान सत्य होता है।

सत्य सारणी:

यहाँ T-सत्य और F- मिथ्या के लिए उपयोग हुआ है।

द्विचर संक्रिया

सभी द्विचर तार्किक संकारकों के लिए सत्य सारणी 
निम्न लिखित सत्य सारणी उन सभी १६ फलनों को परिभाषित करती है जो २ चरों के मध्य परिभाषित किये जा सकते हैं (यहाँ P तथा Q बुलीय चर हैं):

यहाँ T-सत्य और F- मिथ्या (असत्य) के लिए उपयोग हुआ है।

कुँजी:

तार्किक संकारकों को दृश्य रूप में दिखाने के लिए वीन आरेख का उपयोग किया जाता है।

सन्दर्भ